Claude Petitpierre

Claude Petitpierre has received his diploma of Electrical Engineer in 1972 from the "Ecole Polytechnique de Lausanne". He spent the next 5 years in industry, where he participated in the development of realtime cement plant control. He went back to the EPFL, obtained the title of Doctor in 1984 and then spent one year (1985-1986) at the AT&T Bell Labs in Holmdel. He was appointed professor in 1987.
He is interested in the theories and techniques that can support the development of complete and reliable software products and in the formal modeling and analysis theories. The work pursued in his laboratory led to the development of a parsimonious superset of Java, supporting concurrency in a way that provides the new language with modeling capacity similar to the one provided by formal languages such as CCS or CSP. This work has also delivered a number of libraries and program generators is available.

He currently studies software engineering and develops tools and methods to implement Web based application.

Claude Petitpierre is also interested in computer aided teaching and has developed a computer aided programming course used by the first year students.

Research

WebLang

Synchronous active objects in Java

Synchronous C++/sC++

Presentation of the Lab

Personal Information

name:   Claude Petitpierre
e-mail: 
	
phone:  +41 21 693 2650
fax:    +41 21 693 6600
office: INN 314 
	  
EPFL IC ISIM LTI
INN 314 (Bâtiment INN)
Station 14
CH-1015 Lausanne
Switzerland