Salvatore LA TORRE Curriculum

Salvatore La Torre is associate professor of Computer Science at the Computer Science Department of the University of Salerno.- Research interests: theoretical and practical aspects of the modeling, specification, analysis and synthesis systems. Keywords: model-checking, automata theory, logic, formal languages, game graphs, sequential and concurrent programs, real-time and hybrid systems. Tools: Getafix, Grinder.- Short resume: Laurea degree cum laude, Computer Science, Univ. of Salerno, 1994. Doctorate degree, Univ. "Federico II" of Napoli, supervisor Margherita Napoli, 2000. PhD degree, Univ. of Pennsylvania, supervisor Rajeev Alur. Researcher from 2000 to 2006, and associate professor from 2006 to date at Univ. of Salerno. Study and research abroad: Univ. of Pennsylvania USA (1998-2002, 2004 e 2005), Univ. of Illinois at Urbana-Champaign USA (2005) e Univ. of Namur Belgium (2004).- Scientific and professional activities: (co-)author of over sixty publications in computer science international journals and conferences. Editor of the proceedings of GandALF 2011 and the related special issue on Theoretical Computer Science (to appear). PC member/chair of many program committees of international conferences among which CAV, FORMATS, GandALF, MFCS, VMCAI e TIME. Co-founder of the international conference GandALF. Referee for many international journals, conferences and international research-funding agencies. Member of several funded research projects among which  three MIUR-PRIN projects, two MIUR-PON projects and an ESF projects. PI of a project reserved to young researchers and several MIUR-FARB projects. PhD students: Aniello Murano (2002, now associate professor at the Univ. "Federico II" of Napoli), Gennaro Parlato (2005, now assistant professor at Univ. of Southampton), Ilaria De Crescenzo (starting 2012). Supervisor of one research fellowship, about thirty laurea thesis, and about fifteen interns.