招生专业 081203-计算机应用技术

招生方向 高性能科学计算

教育背景 1986-10--1994-05 University of Rochester 博士 1983-09--1986-07 北京大学计算机系 硕士 1979-09--1983-07 四川大学数学系 学士 专利成果 （1） 一种基于预运算的密码卡动态认证方法及系统，发明，2007，第4作者，专利号：ZL99240296.4，上海林果科技有限公司 科研项目 （1） 药品药材电子商务服务技术研发与应用示范，参与，部委级，2011-12--2013-12

（1） A Tight Lower Bound for Online Monotonic List Labeling，SIAM J. Discrete Math.，2005，通讯作者 （2） A Practical Program of Automated Proving for a Class of Geometric Inequalities，Automated Deduction in Geometry ，2000，第2作者