Giorgio Delzanno


Associate Professor in Computer Science
DIBRIS, Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi
Via Dodecaneso, 35
16146 Genova - ITALY
Phone: +39 (010) 3536603
Fax: +39 (010) 3536699
Email address:   giorgio.delzanno at unige.it
Skype id: giorgiod06



Teaching activities

  • PCAD (Concurrent and Distributed Programming, Undergrad): Concurrent and Distributed Programming
  • CAV (Computer Aided Verification, grad): Automata theory, Model Checking, Time Systems
  • VIS (Verification of Infinite-state Systems, phd): Verification of finite- and infinite-state systems
  • FI@Ingegneria Biomedica (2012/13)
  • Fondamenti di Informatica (2013/14)

Research interests

  • Theory of Computation, Logic and Verification, Constraints, Artificial Intelligence
  • Concurrent and Distributed Systems
Research Group: Infinite State Systems@DIBRIS

Committees


Projects