Latest News

Hana Chockler (Coordinator)

Dr. Chockler holds a Ph.D. degree in computer science from the Hebrew University since 2003, and her doctorate is titled “Coverage Metrics for Model Checking.” She brings to the project an expertise in coverage metrics and their extension to quality metrics. Dr. Chockler joined IBM at 2005 and works in the formal methods group at IBM Haifa Research labs. She is an author of more than 30 papers in peer-reviewed journals and conferences and more than 12 patents.

Daniel Kroening

Dr. Kroening is the head of the automated verification group. Assistant Professor at ETH Zurich in 2004–2007. Reader at Oxford University since 2007; author of more than 70 peer-reviewed papers and patents on model checking, decision procedures, and software analysis. He participates in the FP7 STREP MOGENTES and in the ARTEMIS/CESAR project. Doctorate in computer engineering from Saarland University. The automated verification group maintains collaborations, among others, with Microsoft Research, Intel Research, Toyota Motors, Ford, and Airbus UK. The group consists of 11 doctoral and 4 postdoctoral researchers.

Natasha Sharygina

Prof. Sharygina is the head of the Formal Verification lab at USI ( She is an expert in the field of formal verification, static analysis and system design; she authored more than 50 technical publications in referred journals, conference publications and book chapters. Prof. Sharygina is a co-chair of FMCAD (Formal Methods in Computer-Aided Design), 2010 and CAV (Computer-Aided Verification) 2013 conferences. Prof. Sharygina holds a Ph.D. degree from the University of Texas at Austin and an adjunct professorship at Carnegie Mellon University, USA. She closely collaborates with several industrial partners such among which are IBM Haifa, Cadence, Intel, ABB.

Mauro Pezzè

Prof. Pezzè is Professor of Software Engineering at the University of Lugano and the University of Milano Bicocca (Ph.D. in computer science from Politecnico di Milano). He chaired several prominent conferences in the area of dynamic analysis of software and served on the program committee of numerous conferences in the field. He leads several multi-year international research and development projects collaborating with leading European companies including IBM, Philips, Elsag and Siemens.

Mauro Pezzè is the author of more than 90 papers in international journals and conference proceedings, and co-author of the book "Software Testing and Analysis: Process, Principles and Techniques".

Leonardo Mariani

Dr. Mariani is a researcher at UniMiB (Ph.D. from UniMiB). His main research interests are in the scope of software engineering with specific focus on: test and analysis of component-based systems, inference of behavioural models, dynamic analysis, test and analysis of service-based applications, design of self-healing solutions, design and development of autonomous and adaptive systems. Leonardo Mariani worked on several national and international research projects, and he is currently particularly active on the EU STREP project Shadows. He has papers in international conferences and journals. Leonardo Mariani organized the international workshop ARAMIS, co-located with ASE, and served as PC member of numerous PCs.

Giovanni Denaro

Dr. Denaro is assistant professor at University of Milano Bicocca (PhD from Politecnico di Milano). He worked at Politecnico di Milano, CEFRIEL, UniMiB and University College London, contributing to several national and international research projects including: LAW, PROMOTE, SegraVis, QUACK, COMMUTA, SHADOWS, and served on numerous PCs.

Ali Muhammad

Dr. Muhammad is a senior scientist at VTT Technical Research Centre of Finland. He has over thirteen years of experience of implementing  and coordinating several national and international projects in the field of hydraulics, automation, control and robotics. He obtained his Ph.D in the field of control and robotics (2011) and M.Sc. in automation and control (2004) from Tampere University of Technology (TUT). He also holds B.Sc. in industrial electronics engineering (1998) from NED University of Engineering and Technology, Karachi. Since 2004, he has been doing the research at DTP2 to study the remote handling and maintenance concepts of fusion power plants such as ITER. Dr. Muhammad has authored and co-authored over 25 publications. His scientific interests include integration of dynamic simulation models with virtual reality, application of these digital mock-ups during the entire plant life-cycle and self-evolving and adapting algorithms in the field of control and automation.

Shlomo Gluck

Shlomo Gluck graduated from Haifa’s Technion Institute of Technology with a B.Sc. in Industrial Engineering and Computers. He has over 19 years of experience in leading complex computer projects. Mr. Gluck is a manager of the software department of one of IAI divisions. He was also a manager of the Software Engineering Programming Group (SEPG) which is responsible for the process and tools used as software development. He developed the Complete Division Software Database (CDSD) which is the standard measurement tool used by all software engineers of the division. The tool was introduced at the SEPG conference held in London in 1998. Mr. Gluck is an authority in software development methods. Papers published by Mr. Gluck were introduced in national and international forums.

Michael Wahler

Dr. Wahler conducts research in sustainable software solutions at ABB Corporate Research. He received a PhD degree in computer science from the Swiss Federal Institute of Technology (ETH) Zurich, Switzerland, in 2008. From 2004 to 2008, he was a pre-doctoral researcher at the IBM Zurich Research Laboratory where his research was focused on business integration technologies. In 2008, he joined ABB Corporate Research where he is leading a project on software architecture for power protection devices. He is the co-author of several international journal articles and patent applications.