理学博士、副教授，上海大学计算机工程与科学学院院长助理。研究领域涉及模型论与形式化方法、计算复杂性理论、模型检测与验证、高性能并行计算及算法设计、数值模拟。自1987年起至今，已先后在中国科学、科学通报、数学学报及Arch. Math. Logic（国外）和IEEE刊物等高级别杂志上发表文章20多篇。曾多次参加国际学术会议，并宣读论文；1998年初，应美国加州伯克利数学研究所的邀请，参加国际性的模型论研讨会和春季学术活动。 讲授的主要课程：汇编语言程序设计，数字逻辑，计算机算法设计与分析， ACM程序设计等。
