BUGSENG's co-founders* work together since about 20 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 40 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.
- Patricia Hill, a former Senior Research Fellow at the School of Computing in the University of Leeds, is an expert in programming languages and program analysis. She is 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 is a member of the MISRA C++ Working Group. She loves all (well, almost all) things Italian and is strongly committed to professional excellence.
- 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.