北京大學(xué)數(shù)學(xué)科學(xué)學(xué)院學(xué)院教授 博士生導(dǎo)師

研究領(lǐng)域：形式化方法，程序設(shè)計(jì)語言，新型語言的語義模型，計(jì)算機(jī)科學(xué)教育

1 譯 《程序設(shè)計(jì)語言基礎(chǔ)》，北京大學(xué)出版社，1990（Ellis Horowitz, Foundametals of Programming Languages, Springer-Verlag, 1986）

2 著 《Mathematica數(shù)學(xué)軟件系統(tǒng)的應(yīng)用和程序設(shè)計(jì)》，北京大學(xué)出版社，1994，多次重印

3 與許卓群合著 《計(jì)算概論（上冊(cè)），高等教育出版社》，1997

4 與張乃孝合著 《數(shù)據(jù)結(jié)構(gòu)—C++與面向?qū)ο蟮耐緩健�，高等教育出版社�?998，第二版2001

5 著 《從問題到程序——程序設(shè)計(jì)與C語言引論》，北京大學(xué)出版社 1999，2002

6 譯 《程序設(shè)計(jì)實(shí)踐》，機(jī)械工業(yè)出版社，2000（Brian W. Kernighan and Rob Pike, The Practice of Programming, Addison-Wesley, 1999) 。

7 主編 《計(jì)算機(jī)基礎(chǔ)教程（上、下冊(cè)）》，北京大學(xué)出版社，2000.8，2001.4。撰寫若干部分

8譯（與李琦、李建國(guó)合作） 《科學(xué)程序設(shè)計(jì)引論——使用Mathematica和C解決計(jì)算問題》，高等教育出版社，2001.7（JosephL.Zachary, Introduction to Scientific Programming ---omputationalProblems Solving using Mathematica and C, Springer-Verlag,1998）

9 譯 《C++語言的設(shè)計(jì)和演化》，機(jī)械工業(yè)出版社，2002.1（Bjarne Stroustrup, TheDesign andEvolution of C++, Addison-Wesley,1994）。

10 譯（與秦勝潮，蒲戈光，林宗芳，魏晉偉合作）《程序設(shè)計(jì)語言——概念和結(jié)構(gòu)》（第二版），機(jī)械工業(yè)出版社，2002.2（RaviSethi, Programming Languages--- Concepts and Constructs, 2nd Edition,Addison-Wesley,1996）。

11 譯《從規(guī)范出發(fā)的程序設(shè)計(jì)》（第二版），中信出版社，2002.5，后中信把本書轉(zhuǎn)給機(jī)械工業(yè)出版社（2002.8）（CarrollMogan,Programming From Specification, 2nd Edition, PrenticeHallInternational, 1998）。出版社把作者國(guó)籍[澳]錯(cuò)寫為[美]。譯者序

12 譯《C++程序設(shè)計(jì)語言》（特別版），機(jī)械工業(yè)出版社，2002.7（Bjarne Stroustrup, C++ProgrammingLanguages (Special Edition),Addison-Wesley,2000）。

13 著 《C++語言基本程序設(shè)計(jì)》，科學(xué)出版社，2003.3。本書是作為計(jì)算機(jī)基礎(chǔ)課程的教材，屬于“信息科學(xué)專業(yè)系列教材”之一

14 譯 《C++程序設(shè)計(jì)語言題解》（“C++程序設(shè)計(jì)語言”的伴侶），機(jī)械工業(yè)出版社2003.1（David Vandevoorde, C++ Solutions，Addison-Wesley, 1998）

15譯 《計(jì)算機(jī)程序的構(gòu)造和解釋》，機(jī)械工業(yè)出版社，2004.2（Harold Abelson and Gerald JaySussmanwith Julie Sussman, Structure and Interpretation of ComputerPrograms(2nd Edition), MIT Press, 1998）

16 譯《B方法》，電子工業(yè)出版社，2004.6（Jean-Raymond Abrial, The B-Book: Assigningprogramsto meanings, Cambridge University Press,1996）。圖靈獎(jiǎng)獲得者C.A.R.Hoare為本書撰寫“頌辭”，極其推崇（可惜出版社沒把頌辭印在書里，且把作者國(guó)籍[法]錯(cuò)寫為[美]）。

17 譯 《程序設(shè)計(jì)語言——實(shí)踐之路》，電子工業(yè)出版社（Broadview），2005.3（Michael Scott, Programming Language Pragmatics, Morgen Kaufmann, 2000）。

18 著 《從問題到程序——程序設(shè)計(jì)與C語言引論》（2005版），機(jī)械工業(yè)出版社，2005.9。

19譯 《程序設(shè)計(jì)語言——實(shí)踐之路（第二版）》，電子工業(yè)出版社（Broadview），2007.6（MichaelScott,Programming Language Pragmatics, Morgen Kaufmann, Second Edition,2006）。

20譯《編程原本》，機(jī)械工業(yè)出版社，2012.1（（美）Alexander Stepanov（STL之父） Paul McJones, Elements of Programming，Addison-Wesley Professional）。