Esterel Technologies>关于我们>管理团队>Gérard Berry
Gérard Berry
Chief Scientist
Professor at Collège de France, Chaire d'Innovation technologique
Member, Académie des sciences, Académie des technologies and Academia Europaea
Experience
Gérard Berry is the father of the Esterel language. Before joining Esterel Technologies in January 2001, Mr. Berry was the Director of Research at Ecole des Mines de Paris (EMP), Director of the Applied Mathematics Center (CMA) of EMP, and co-head of the joint EMP/INRIA Meije project (INRIA is the largest European research center in computer science and automation).
His research activities include mathematical logic, programming language design, semantics, and implementation, reactive and real-time programming, synchronous circuit design and synthesis, and automatic verification of finite-state systems. His teaching activities include the theory of automata and its relation to Boolean algebra, computability theory, the lambda calculus, electronic circuit design and verification, and reactive and real-time programming.
Mr. Berry is a member of Académie des sciences, Académie des technologies, and Academia Europaea. He received the Grand Prix of the EADS foundation in 2005, the French Science and Defense award in 1999, the Monpetit Price of the French Académie des sciences in 1989, and the Bronze Medal of CNRS in 1979. He has given 36 invited talks in international conferences, mostly on Esterel, and written more than 30 reference papers for conferences, journals, and books.
During his research and teaching activities, Mr. Berry worked closely with Dassault Aviation, which has strongly supported the development of the Esterel language and has regularly funded his research through R&D contracts in the last 12 years. He also worked with Cadence on hardware/software co-design and entry languages, with Intel to explore the possible use of Esterel in aggressive microprocessor design and synthesis, and with Synopsys on hardware synthesis from Esterel. All these works were funded by research grants given to him by the corresponding companies.
Invited Talks
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.
Main Publications
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.
System Level Design and Verification using a Synchronous Language.
G. Berry, M. Kishinevsky, S. Singh. Tutorial ICCAD'03, San Jose.
Toplevel Validation of System on Chip.
G. Berry, A. Bouali, J. Dormoy, L. Blanc. Proc. HLDVT'2001, Cannes.
Multiclock Esterel
G. Berry, E. Sentovich. Proc. CHARME'2001, Edinburgh, Correct Hardare Design and Verification Methods, Springer-Verlag LNCS 2144.
Esterel: a Formal Method Applied to Avionic Software Development
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.
The Foundations of 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.
Constructive Analysis of Cyclic Circuits
T. Shiple, G. Berry, and H. Touati. Proc. International Design and Testing Conference IDTC'96, Paris, France (1996).
Preemption in Concurrent Systems
G.Berry. Proc. FSTTCS'93, Springer-Verlag Lecture Notes in Computer Science 761 (1993) 72-93.
Communicating Reactive Processes
G. Berry, S. Ramesh, and R. K. Shyamasundar. Proc. 20th ACM Conf. on Principles of Programming Languages (POPL), Charleston, Virginia (1993).
Optimized Controller Synthesis Using Esterel
G. Berry and H. Touati. Proc. Intl. Workshop on Logic Synthesis, Lake Tahoe, USA (1993).
A Hardware Implementation of Pure Esterel
G. Berry. Sadhana, Academy Proceedings in Engineering Sciences, Indian Academy of Sciences, vol. 17, part 1 (1992) 95-130.
Esterel on Hardware
G. Berry. Philosophical Transactions Royal Society of London A, vol. 339 (1992) 87-104.
The Chemical Abstract Machine
G. Berry and G. Boudol. Theoretical Computer Science, vol. 96 (1992) 217-248.
The Synchronous Programming Language ESTEREL: Design, Semantics, Implementation
G. Berry and G. Gonthier. Sience of Computer Programming, vol. 19.
Incremental development of an HDLC entity in Esterel
G. Berry and G. Gonthier. Comp. Networks and ISDN Systems 22, (1991) 35-49.
The Synchronous Approach to Reactive and Real-Time Systems
A. Benveniste and G. Berry. Proceedings of the IEEE, vol. 79, no. 9 (1991) 1270-1282.
Real Time Programming: Special Purpose or General Purpose Languages
G. Berry. Information Processing 89, G.X. Ritter (Ed.), Elsevier Science Publishers B.V., North-Holland (1989) 11-18.
From Regular Expressions to Deterministic Automata
G. Berry and R. Sethi. Theoretical Computer Science 48 (1986) 117-126.
Theory and Practice of Sequential Algorithms: the Kernel of the Programming Language CDS
G. Berry and P-L. Curien. in Algebraic Methods in Semantics, Cambridge University Press (1985) 35-88.
Full Abstraction for Sequential Languages: the State of the Art
G. Berry, P-L. Curien and J-J. Lévy. in Algebraic Methods in Semantics, Cambridge University Press (1985) 89-132.
The Synchronous Programming Language ESTEREL and its Mathematical Semantics
G. Berry and L. Cosserat. In Seminar on Concurrency, Springer-Verlag LNCS 197 (1984) 389-448.
ESTEREL: Towards a Synchronous and Semantically Sound High-Level Language for Real-Time Applications
G. Berry, S. Moisan, and J-P. Rigault. Proc. IEEE Real-Time Systems Symposium, Arlington, Virginia, IEEE Catalog 83CH1941-4 (1983) 30-40.
Sequential Algorithms on Concrete Data Structures
G. Berry and P-L. Curien. Theoretical Computer Science, vol. 20 (1982) 265-321.
Programming with Concrete Data Structures and Sequential Algorithms
G. Berry. Proc. ACM Conf. on Functional Programming Languages and Computer Architecture, Wentworth-by-the-sea, USA (1981).
Minimal and Optimal Computations of Recursive Programs
G. Berry and J-J. Lévy. Journal of ACM, vol. 26, no. 1 (1979) 148-175.
On the Definition of Lambda-calculus Models
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).
A Survey of Some Syntactic Results in the Lambda-calculus
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).
Stable Models of Typed Lambda-calculi
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: Entered Corps National des Ingénieurs des Mines.
1967: Entered Ecole Polytechnique.
