DIBRIS

Giorgio Delzanno

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

Family Giovanna    Giorgio, Alice e Greta

Teaching activities

• PCAD (Concurrent and Distributed Programming, Undergrad): Pthread, Concurrent Java/Swing, Android
• 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

Research interests

• Models of Concurrency, Verification, Standard and non-standard Logic, Deduction
• Concurrent Programming

Committees

• SPIN 2013
• FOSSACS 2013
• RP 2012
• TACAS 2012

Projects

• Parameterized Verification
• Verification of Cache Coherence Protocols
• Babylon: Specialized Data Structures for Infinite-state Verification
• Constraint-based Symbolic Model Checking: DMC

Institutional activities

• Resp. of Erasmus and English courses