CAV 2019: 31ST INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
Paolo Arcaini
Organization: National Institute of Informatics
Web page: http://group-mmm.org/~arcaini/
Pages in this Program
Program
Program for Tuesday, July 16th
Bio

Paolo Arcaini is project associate professor in the ERATO MMSD project at the National Institute of Informatics, Japan. He obtained a PhD degree in Computer Science at the University of Milan, Italy. His research topics include model-based testing, software product lines, and specification and verification using Abstract State Machines. http://group-mmm.org/~arcaini/