Dr. Giorgio Delzanno

Dr. Giorgio Delzanno is Associate Professor in Computer Science at DIBRIS, University of Genova. His main research interests are related to formal models and verification of concurrent, distributed and mobile systems, constraint and logic programming. He has more than 100 publications in international refereed conferences and journals and receiver three best paper awards. He has been local coordinator of the national project "Constraints for Verification of Reactive Systems", organizer of two editions of the SAVE workshop, and of the workshop on Reachability Problems held in Genova in 2011 and of the symposium GandALF '15. He has been guest editor of three special issues in the TPLP, IJFCS and STTT International journals, invited speaker at the International PhD schools BISS '11 and ISCL '11. Finally, he has served in the program committee of several editions of international workshop and conferences in the field of constraint, logic and concurrent programming, systems and software validation and verification, mathematical foundations of computer science such as ICLP, LOPSTR, PADTAD, PPDP, TACAS, LATA, SPIN, FOSSACS, MFCS, ATVA, ICTCS, FCT and of the research school on Modelization and Verification of Parallel Systems MOVEP '14.