Invited Speakers

Keynote Speakers

Mauro

Low-cost Oracles

Mauro Pezze is the Dean of the Faculty of Informatics at Universita della Svizzera Italiana. He is professor of software engineering at the University of Lugano and at the University of Milano Bicocca. His research interest is software engineering and in particular in software testing and analysis. Before joining the Faculty of Informatics of the University of Lugano Mauro Pezze was professor at the University of Milan Bicocca, associate professor at Politecnico di Milano and visiting scientists at the University of California Irvine and at the University of Edinburgh. Mauro Pezze holds a laurea degree from the University of Pisa and a PhD from Politecnico di Milano. He serves as an associate editor of ACM Transactions of Software Engineering and Methodologies and executive chair of the Technical Committee on Complexity in Computing.

Magne

Judgment and decision-making in software engineering. When are the 'experts' experts? How can we know?

Magne Jorgensen a chief scientist researcher at Simula Research Laboratory, a professor at University of Oslo and an advisor at Scienta. He has a master degree in economy and informatics from University of Karlsruhe, and a phd on software maintenance from University of Oslo. His research focuses on human judgment, cost estimation and software project management. The interdisciplinary nature of his research has led to publications of results in psychology, software engineering, project management and forecasting journals. He is enthusiastic about evidence-based software engineering as a means to make the software industry move from myth and fashion to more evidence-based practices. He teaches evidence-based software engineering practices to software professionals and to students at University of Oslo and Kathmandu University.

Industry Invited Speaker

Roberto

Quality Verification Tools for Quality Software

Roberto Bagnara began his formation in computer science at the University of Bologna (1984-1987) and Geneva's CERN, where he worked in the group of Tim Berners-Lee, inventor of the World Wide Web (1988-1989). He received a laurea degree (magna cum laude, 1992) and a Ph.D. (1997), both in Computer Science, from the University of Pisa. He has been Research Fellow at the School of Computer Studies of the University of Leeds (1997), Assistant Professor (1997-2001) and Associate Professor (2001-2010) at the University of Parma, where he is now Full Professor of Computer Science. He has been Visiting Researcher/Professor at Monash University, Melbourne, the University of La Réunion and École Polytechnique, Paris. Since 2000 he is a member of the Board of Professors of the Ph.D. School on Mathematics and Statistics for the Computational Sciences of the University of Milan and, since 1997, he teaches university courses at all levels on the foundations of computer science, programming languages, advanced programming techniques, software analysis and verification. He is active, since 20 years, in the fields of program analysis and verification, abstract interpretation and, more generally, semantics-based program manipulation. He coauthored around 40 papers that have been published in international journals and proceedings of international conferences with referees. The research of Roberto Bagnara joins the scrupulous investigation on the theoretical foundations to experimental validation and the application in concrete contexts. He has been the inspirator and the principal architect of several software projects in the above mentioned research field, among which the Parma Polyhedra Library (PPL), a widely-used library of numerical abstractions especially targeted at applications in the field of analysis and verification of hardware and software. He is deeply involved in the transfer of the best software verification technology to industry: this is the mission of BUGSENG, a spin-off company of the University of Parma he co-founded in 2011.