Germán Puebla

Teaching 2006/2007

I am a member of the teaching unit Languages and Methodologies

.

Graduate Studies

I will teach the graduate course:
Analysis, Debugging, and Optimization Techniques

which is offered as part of the following programs:
- European Master Program in Computational Logic
- Research Master Program in Complex Software Systems

I also propose the following graduate research project:
Analysis and Specialization Techiques for Ubiquitous Computing
.

Undergraduate Studies

I also teach the course: Data Structures II

You can also take a look at the courses which I taught in previous years.

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