Great Ideas in Computer Science & Engineering

Professors:Leonardo Querzoni with Domenico Lembo, Antonella Poggi, Fabio Patrizi, Giorgio Grisetti, Andrea Vitaletti
Credits:2.5
Range:B
Note:

Full description

Title: Great Ideas in Computer Science & Engineering (2013)

 

Abstract: Once every few years the computer science community is shacked by some results that fundamentally impact several core topics. These results often have strong consequence on real systems, and thus, finally, impact our everyday life as well. This course has the goal of introducing the attendees to five breakthroughs, representative of different areas, showing the practical impact they had on computer science as it is today.

 

Lectures:

 

Sparse Least Squares on Manifolds

Lecturer: Giorgio Grisetti

Schedule: 19/6/2013 9:30-12:45 - room A7

 

System Verification via Symbolic Model Checking

Lecturer: Fabio Patrizi

Schedule: 21/6/2013 9:30-12:45 - room A7

 

The CAP theorem and the design of large scale distributed systems

Lecturer: Silvia Bonomi and Leonardo Querzoni

Schedule: 24/6/2013 9:30-12:45 - room A7

 

Wireless Sensor Networks: from theory to practice ... and back again

Lecturer: Andrea Vitaletti

Schedule: 26/6/2013 9:30-12:45 - room A7

 

Conceptual modeling: ER and beyond

Lecturer: Domenico Lembo and Antonella Poggi

Schedule: 27/6/2013 9:30-12:45 - room A7

 

For more details see:

http://www.dis.uniroma1.it/~querzoni/great-ideas-in-computer-science-and-engineering-2013