Home Research Teaching Pubblications Activities Students index.htmlResearch.htmlPubblications.htmlActivities.htmlStudents.htmlshapeimage_2_link_0shapeimage_2_link_1shapeimage_2_link_2shapeimage_2_link_3shapeimage_2_link_4shapeimage_2_link_5

Year 10-11 (Sapienza)

One of these mornings

You're going to rise up singing

Then you'll spread your wings

And you'll take to the sky


But until that morning

There's anothing can harm you

With your daddy and mammy standing by


G. Gershwin

Models and Optimization (I sem)

Programming (I sem)

Algorithmic Programming Contest (II sem)

Year 09-10 (Sapienza)

Introduction to Prorgamming (I sem)

Proof Theory (I sem, Master)

Gare di Programmazione Algoritmica (II sem)

Year 08-09 (Sapienza)

Introduction to Programming I  (I sem)

Introduction to Algorithms (II  sem)

Year 07-08 (Sapienza)

Introduction to Programming I  (I sem)

Introduction to Programming  (II  sem)

Year 06-07 (Sapienza)

Introduction to Programming I  (I sem)

Proof Theory (II sem., Master)

Year 05-06 (Sapienza)

Master and Undergrad

PhD Courses

Introduction to Programming I  (I sem)

Introduction to Programming II  (II sem)

Years 04-99 (UPC- Barcelona)

Introduction to Programming 

Introduction to Logic

Data Bases

Algorithms and Data Structures

Computability and Complexity

Proof Complexity (NoNa Sumer School in Complexity Theory. St Petersburg) 2009


Introduction to Proof Complexity (Salerno) 2009


Complexity Theory (UPC  2003)


Proof Complexity (UPC 2002)

Current

Models and Optimization

Theory of  Computing (Master, CS)