about the founders

BUGSENG’s co-founders* work together since about 15 years. They bring together an amazingly diverse set of competences and attitudes that always resulted into a very effective team play. They made important contributions to the theory and practice of program verification, in accordance to their firm rejection of the theory-practice dichotomy: a truly reliable and practical system can only be based on rigorous theoretical investigation;

no shortcuts, no compromises, no excuses.


  • Roberto Bagnara is Full Professor of Computer Science at the Department of Mathematics and Computer Science, University of Parma, Italy. He is an internationally recognized expert in programming languages and semantics-based program analysis and manipulation. He has coauthored more than 35 publications in international journals and conference proceedings. He is the principal architect of several successful software projects in which solid theoretical work has been coupled with the best software engineering practices. He represents Italy in ISO JTC1/SC22/WG14: the international standardization working group for the programming language C. He is a visionary, never gives up, and never makes a concession to fear of failure; he is also an excellent cook and the CEO/CTO of BUGSENG.

  • Patricia Hill, a former Senior Research Fellow at the School of Computing in the University of Leeds, is currently a Visiting Researcher in the same department. She is an expert in programming languages and program analysis, and a member of the College of Peer Reviewers for EPSRC, the UK funding council for academic research in engineering and the physical sciences; she participated in many program committees for international events (some of which as the program chair). She coauthored a book on a new programming language and more than 60 papers as book chapters or as articles in international publications. She loves all (well, almost all) things Italian and is strongly committed to professional excellence.
  • Enea Zaffanella is Associate Professor of Computer Science at the Department of Mathematics and Computer Science, University of Parma, Italy. His research interests are in the area of semantics-based program analysis, with a strong focus on the design and development of software tools enabling the transfer of the relevant theoretical results to applicative fields. His research work led to coauthoring more than 30 publications in international journals and conference proceedings. He follows rugby (mostly non-violently) and has a gift to see the dark side of things: those invisible, hidden defects that will cost millions if not detected.
  • Abramo Bagnara has always been in computing. He has considerable professional experience as an IT consultant, analyst, project manager and architect for national and international companies and organizations. He has worked for businesses and organizations such as SuSE GmbH and INRIA. His contributions to open source are countless. He can program whatever is susceptible to programming; he even loves debugging. He does not drive a car, he cannot stand closed footwear and is responsible for the engineering of the BUGSENG products.