Germán Puebla

Teaching 2000/2001

I am a member of the teaching unit Languages and Methodologies

.

Graduate Studies

I will teach part of the graduate courses:

I also propose a graduate research project on:

Program Debugging and Optimization based on Static Analysis .

of the Ph D program at the Department of Programming Languages and Systems

I have been invited to teach a graduate course at the Pontificia Universidad Católica de Perú from the 30th November to the 14th December 2000.

Undergraduate Studies

In the first semester of 2000-2001 I will teach and coordinate the course: Data Structures I

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