Teaching 1997-1998
In 1997-1998 I taught the following undergraduate courses: And part of the graduate course: of the Ph D program at the Artificial Intelligence Department .Go back to my home page
Quick Links
The COSTA System, a cost and
termination analyzer for Java bytecode.- My research profile according to
Google Scholar and
Microsoft Academic Search.
Recent News
- The ACM Symposium on Principles of
Programming Languages (POPL 2013). January 23-25, 2013. Rome,
Italy. External Review Committee member.
- The HATS International School
on Formal Models for Objects and Components. 24-28 September 2012.
Bertinoro, Italy. Lecturer.
- 10th International conference on the
principles and practice of programming in java. 12-14 September,
2012. Grahamstown, South Africa
- The European Symposium on
Programming Languages (ESOP 2012). 24 March - 1 April 2012,
Tallin, Estonia. Program Committee member