Andrea Turrini received the M.Sc. and Ph.D. degrees in computer science from the University of Verona, Italy in 2005 and 2009, respectively. He was first a postdoctoral researcher in Verona and then at Saarland University, Saarbrücken, Germany. He then moved to the Institute of Software, Chinese Academy of Sciences, Beijing, China as an associate research professor in the group of Lijun Zhang. His research interests include the formal analysis of probabilistic and quantum systems, with a particular focus on system minimization and verification of omega regular properties. He is also interested in omega regular automata, including learning-based algorithms for automata operations.