Gérard Berry

首席科学家，法国社会科学院成员

经历

Gérard Berry被看作Esterel语言之父。他于2001年1月加盟爱斯特尔技术公司，在此之前，一直担任国立巴黎高等矿业学院 (EMP)研发中心主任、应用数学中心主任、以及EMP/INRIA Meije联合项目的主管（INRIA是欧洲最大的计算机和自动化研究中心）

他的研究领域包括编程语言的设计、语法和执行，反射与实时编程，同步电路设计与综合，有限状态系统的自动验证技术，以及数理逻辑学。其参与的教学活动有自动控制理论及其与布尔代数的关系，电子电路设计，反射式编程，可算性理论，λ演算以及反射式编程。

Mr. Berry先生是社会科学院与伦敦欧洲科学院的院士。他曾获得1979年CNRS铜质奖章，1989年法国科学技术协会的Monpetit奖，以及1999年法国国防科技奖。他曾25次以上应邀在国际大会上发表演讲，其中绝大多数是关于Esterel语言的。他曾在各种会议、杂志和书籍上发表相关论文三十余篇。

在以往的科研和教学活动中，Berry先生一直与达索飞机保持着密切的关系，该公司为Esterel语言的发展提供了大力支持，并在过去的12年间，通过签订一系列研发协议为Berry先生的科研活动提供经费。他还与Cadence一起致力于硬件/软件的联合设计与输入语言，与Intel一起寻求Esterel在大规模微处理器设计与综合中的应用性。他所有的研发活动都是在相应公司给与的科研经费支持下完成的。

曾发表演讲的会议

HLDVT'2007 (Irvine), FMICS'2007 (Berlin), Ada Europe 2007 (Geneva), FDL'2006 (Darmstadt), CISR'2006 (St Petersburg), TACAS'2005 (Edinburgh), VLSI'2004 (Mumbai), ICCAD'2003 (San Jose), HLDVT'2002 (Cannes), SAME'2001 (Sophia-Antipolis), CHARME'2001 (Edinburgh), FEMSYS'2001 (Munich), FST\&TCS'2000 (New Delhi), ASE'2000 (Grenoble), CHARME'99 (Bad Herrenalb), CONCUR'98 (NICE), POPL'98 (San Diego), DSL'97 (Santa Barbara), CAV'97 (Haifa), CHDL'97 (Toledo), TACAS'97 (Twente), AMAST'96 (Munich), ICSC'95 (Bangkok), IWLS'95 (Lake Tahoe), MFPS'94 (Manhattan, Kansas), LICS'94 (Paris), POPL'94 (Portland), FSTTCS'93 (Bombay), REX'93 (Amsterdam), CONPAR'92 (Lyon), ESEC'91 (Milano), TAPSOFT'90 (Brighton), IFIP'89 (San Francisco), STACS'86 (Paris). Invited speaker for the first Milner Lecture, University of Edinburgh, 1996 and the Kieburtz Symposium, Portland, 2003.

主要专著

Books

Compiling Esterel

D. Potop, S. Edwards, and G. Berry, Springer, 2007.

The Constructive Semantics of Esterel

G. Berry. Draft book, current version 3.0, Dec. 16th, 2002.

The Esterel Language Primer, version v5_91

G. Berry. Current version Esterel v5_91, june 2000.

Articles

SCADE: Synchronous design and validation of embedded control software

G. Berry. Proc. General Motors India Lab Workshop, Bangalore, 2007, to appear in Springer-Verlag Lecture Note, 2007.

Clocking Schemes in Esterel

L. Arditi, G. Berry, M. Kishinevsky, and M. Perreaut. Proc. Designing Correct Circuits DCC'06, Vienna, Austria.

Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs

L. Arditi, G. Berry, and M. Kishinevsky. Proc. Formal Methods in Computer Aided Design (FMCAD'04), Austin, Texas, USA.

采用同步语言完成系统层设计与验证

G. Berry, M. Kishinevsky, S. Singh. Tutorial ICCAD'03, San Jose.

芯片系统的系统级验证

G. Berry, A. Bouali, J. Dormoy, L. Blanc. Proc. HLDVT'2001, Cannes.

多时钟Esterel设计l

G. Berry, E. Sentovich. Proc. CHARME'2001, Edinburgh, Correct Hardare Design and Verification Methods, Springer-Verlag LNCS 2144.

Esterel语言:航空软件开发中采用的形式方法学

G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor, R. de Simone. Science of Computer Programming 36(2000) 5-25.

An Implementation of Constructive Synchronous Constructive Programs in Polis

G. Berry, E. Sentovich. Formal Methods in Systems Design 17(2), October 2000, Kluwer Academic Publisher.

Esterel语言的基础

G. Berry. Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, Foundations of ComputingSeries, 2000.

Efficient Latch Optimization Using Incompatible Sets

E. Sentovich, H. Toma, and G. Berry. International Digital Automation Conference DAC'97, Anaheim, 1997.

Latch Optimization in Circuits Generated from High-Level Descriptions

H. Toma, E. Sentovich, and G. Berry. Proc. International Conf. on Computer-Aided Design ICCAD'96.

集成电路分析

T. Shiple, G. Berry, and H. Touati. Proc. International Design and Testing Conference IDTC'96, Paris, France (1996).

同步系统中的优先权问题

G.Berry. Proc. FSTTCS'93, Springer-Verlag Lecture Notes in Computer Science 761 (1993) 72-93.

通信反应过程

G. Berry, S. Ramesh, and R. K. Shyamasundar. Proc. 20th ACM Conf. on Principles of Programming Languages (POPL), Charleston, Virginia (1993).

用Esterel语言优化的控制器综合

G. Berry and H. Touati. Proc. Intl. Workshop on Logic Synthesis, Lake Tahoe, USA (1993).

纯Esterel语言的硬件实现

G. Berry. Sadhana, Academy Proceedings in Engineering Sciences, Indian Academy of Sciences, vol. 17, part 1 (1992) 95-130.

硬件上的Esterel

G. Berry. Philosophical Transactions Royal Society of London A, vol. 339 (1992) 87-104.

化学提炼机

G. Berry and G. Boudol. Theoretical Computer Science, vol. 96 (1992) 217-248.

同步编程语言ESTEREL:设计、语义和实现

G. Berry and G. Gonthier. Sience of Computer Programming, vol. 19.

Esterel中HDLC实体的递增开发

G. Berry and G. Gonthier. Comp. Networks and ISDN Systems 22, (1991) 35-49.

反应式和实时系统的同步方法

A. Benveniste and G. Berry. Proceedings of the IEEE, vol. 79, no. 9 (1991) 1270-1282.

实时编程：特殊用途或通用语言

G. Berry. Information Processing 89, G.X. Ritter (Ed.), Elsevier Science Publishers B.V., North-Holland (1989) 11-18.

从规则表达式到确定自动化

G. Berry and R. Sethi. Theoretical Computer Science 48 (1986) 117-126.

顺序运算的理论与实践：程序设计语言CDS的核心

G. Berry and P-L. Curien. in Algebraic Methods in Semantics, Cambridge University Press (1985) 35-88.

顺序语言的全面提取: 技术工艺

G. Berry, P-L. Curien and J-J. Lévy. in Algebraic Methods in Semantics, Cambridge University Press (1985) 89-132.

同步编程语言ESTEREL及其数学语义

G. Berry and L. Cosserat. In Seminar on Concurrency, Springer-Verlag LNCS 197 (1984) 389-448.

ESTEREL: 面向实时软件的高级同步语义语言

G. Berry, S. Moisan, and J-P. Rigault. Proc. IEEE Real-Time Systems Symposium, Arlington, Virginia, IEEE Catalog 83CH1941-4 (1983) 30-40.

固定数据结构上的顺序运算

G. Berry and P-L. Curien. Theoretical Computer Science, vol. 20 (1982) 265-321.

用固定数据结构和顺序运算编程

G. Berry. Proc. ACM Conf. on Functional Programming Languages and Computer Architecture, Wentworth-by-the-sea, USA (1981).

递归程序的最小化和最优化计算

G. Berry and J-J. Lévy. Journal of ACM, vol. 26, no. 1 (1979) 148-175.

关于Lambda微积分模型的定义

G. Berry. Proc. Int. Coll. on Formalization of Programming Concepts, Peniscola, Spain, Lecture Notes in Computer Science 107, Springer-Verlag (1981) 218-230.

Modèles complètement adéquats et stables des lambda-calculs typés

G.Berry. Thèse de Doctorat d'Etat, Université Paris VII(1979).

Modèles complètement adéquats et stables des lambda-calculs typés

G.Berry. Thèse de Doctorat d'Etat, Université Paris VII(1979).

Lambda微积分中部分句法结果的调查

G. Berry and J-J. Lévy. Proc. Ann. Conf. on Mathematical Foundations of Computer Science, Olomouc, Tchecoslovaquia, Lecture

Notes in Computer Science 74, Springer-Verlag (1979).

类型化的Lambda微积分的稳定模型

G. Berry. Proc. 5th Coll. on Automata, Languages and Programming(ICALP), Lectures Notes in Computer Science 62, Springer-Verlag (1978) 72-89.

Séquentialitée de l'évaluation formelle des Lambda-expressions

G. Berry. in Program Transformations, 3eme Colloque International sur la Programmation, DUNOD, Paris, B. Robinet ed. (1978) 67-80.

Program Equivalence and Canonical Forms inStable Discrete Interpretations

G. Berry and B. Courcelle. Proc 3rd Coll. on Automata, Languages and Programming (ICALP), Edinburgh University Press (1976).

Education

1979:Thèse de Doctorat d'Etat (PhD+) in Mathematics at Université Paris VII, option Computer Science.

1976:Thèse de Troisième Cycle (PhD-).

1970:进入 Corps National des Ingénieurs des Mines学习

1967:进入 Ecole Polytechnique学习