Curriculum Vitae of Pierluigi San Pietro
Dates and
Figures
He graduated in Electrical Engineering at the Politecnico di Milano in 1990 and he received a Ph.D. in Computer Science in 1994 at the same university with a dissertation on 'Logic and Object-Oriented Specifications of large-size Real-Time Systems", advisor Dino Mandrioli.
In 1994/1995 he has been for one year Visiting Associate Professor for the PFU chair at Japan Advanced Institute of Science and Technology, Japan. In 1999 and 2000 he was for two months Invited Professor at the Universiteè de Marne-la-Valleè, Paris, France. In various occasions (1993, 1999/2000 in 2002, 2003), he has visited for a few months the University of California at Santa Barbara, and Washington State University (2002).
In July 1995, he became an Assistant Professor at Politecnico di Milano. In February 2001 until April 2005, he was an Associate Professor at Politecnico di Milano.
He is now a Full Professor at Politecnico di Milano.
His current address is:
Office: Politecnico di Milano - Dipartimento di Elettronica e Informazione, Piazza Leonardo da Vinci, 32, 20133, MILANO. Tel. ++39.2.2399.3617 - Fax. ++39.2.2399.3411 - E-Mail <firstname.lastname >@ polimi.it.
Research activity
His research interests include software engineering and theoretical computer science, with particular reference to the following points:
1. the specification, validation and verification of safety-critical and real-time systems.
2. Formal languages and automata theory
Professional services
Reviewer of papers submitted to many national and international conferences and journals, including ACM TOSEM, IEEE TSE, Theoretical Computer Science. Program committee member for the Compiler Construction Conference 2003, Formal Methods Europe 2004, Conference on Implementation and Application of Automata, 2005.
Awards
Chorafas Prize 1996
Teaching Activity
Since the academic year 89/90, Pierluigi San Pietro has been lecturing at Politecnico di Milano and other italian universities in various courses of Fundamental of Computer Science, Theoretical Computer Science, Formal Languages and Compilers, Software Engineering. In the year 94/95, as a visiting associate professor at Japan Advanced Institute of Science and Technology, he tought a course on Advanced Information Systems for graduate and Ph.D. students. He also lectured in various Ph.D. courses on formal language theory at Politecnico di Milano. He is currently a professor of Software Engineering at Politecnico di Milano.
He is the coordinator of the Ph.D. program in Computer Science of the Doctoral School of Information Engineering of Politecnico di Milano.
He is the coordinator for Politecnico di Milano of the Master in Software Engineering over the Internet, in cooperation with University of Illinois at Chicago and Japan Advanced Institute of Science and Technology.
Main Publications
He is the author of around fifty publications on international conferences and journals and books, including the International Conference on Software Engineering, IEEE Transactions on Software Engineering, Theoretical Computer Science, and ACM Transactions on Software Engineering Methodologies.
More details on publications can be found here.