Teaching
I am a member of the teaching unit Languages and Methodologies
![[LML]](images/lml_logo.gif){kind=logo}
. You can take a look at my courses in the years:
Go back to my home page
I am a member of the teaching unit Languages and Methodologies
. 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