Germán Puebla

Teaching 1999/2000

I am a member of the teaching unit Languages and Methodologies

.
In 1999-2000, I will teach the following undergraduate courses:

Data Structures I, and
Sistematic Program Design.

And part of the graduate courses:

of the PhD program at the Department of Programming Languages and Systems

I have also participated in the ATHENS course on Functional, Logic, and Constraint Programming.

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