The project is a consortium of four principal investigators and one industrial partner.
Paulo Marques is an Assistant Professor at the University of Coimbra. His main research interests are concurrent systems, software reliability, and modern programming languages. He has recently led the RAIL and RAIL2 projects on code instrumentation for virtual machines, sponsored by Microsoft Research, and the LeonVM and QERL projects on dynamic code translation for the LEON2 processor, under contract with the European Space Agency. He has published extensively at international research conferences and journals and has authored two books on software development in C#.
Nestor Catano is an Assistant Professor in the Department of Mathematics and Engineering at The University of Madeira, Portugal. He earned a M.Sc. and Ph.D. in Computer Science from the University of Paris 7, France. His Ph.D. was funded by the European project Verificard (Verification of Java Card programs). He was a research associate at the University of York, U.K, from 2004 to 2006. Nestor's main research interests are the development of JML‐based tools and techniques for the verification of programs, and the mechanization of machine‐checked correctness proofs of mathematical algorithms. He has published in international research conferences on formal methods.
Jonathan Aldrich is an Assistant Professor of Computer Science at Carnegie Mellon University and Director of the Software Engineering Minor Program in the School of Computer Science. Aldrich’s research contributions include techniques for verifying object and component interaction protocols, modular reasoning techniques for aspects and stateful programs, and new object‐oriented language models. For his work on verifying software architecture, Aldrich received a 2006 NSF CAREER award and the 2007 Dahl‐Nygaard Junior Prize, the top international award for junior faculty making significant contributions to object‐oriented programming.
Bruno Cabral received his PhD in Informatics Engineering in 2009 from the University of Coimbra. He is an Assistant Professor at the University of Coimbra, Portugal, and an Adjunct Associate Teaching Professor at the Carnegie Mellon University, USA. His main research interests are concurrent programming and programming languages, exception handling models and code instrumentation. He has participated in many research and industrial projects in cooperation with institutions such as the European Space Agency, Microsoft Research and the Portuguese Government. He is currently leading the Institute for Software Engineering at the University of Coimbra.
Our industrial partner Novabase is one of the largest software companies in Portugal, generating more than 140M€/year in software solutions and consulting. Novabase’s ACD (Advanced Custom Development) business unit brings a wealth of experience in developing advanced custom software solutions for its customers. Effectively leveraging the emerging class of highly parallel and multicore systems has been a significant challenge for Novabase, and the company will be an active project participant through providing motivating examples and testbeds for ensuring that Aeminium solves critical real‐world problems.
Other project members
Sven Stork - Ph.D. student on the join doctoral program between CMU and the University of Coimbra
Filipe Militão - Ph.D. student on the join doctoral program between CMU and Nova University of Lisbon
Alcides Fonseca - Ph.D. student at the University of Coimbra
Ijaz Ahmed - Ph.D. student at the University of Madeira.
Josh Sunshine - PhD student at Carnegie Mellon University
Karl Naden - Ph.D. student at Carnegie Mellon University
Ligia Nistor - Ph.D. student at Carnegie Mellon University
Roger Wolf - Ph.D. student at Carnegie Mellon University
João Rafael - M.Sc. student at the University of Coimbra
Cristiano Gonçalves - M.Sc. student at the University of Coimbra
Pedro Costa - M.Sc. student at the University of Coimbra
Marcelo Sousa - Researcher at the University of Coimbra
Sukriti Bhattacharya - Post-doc at the University of Madeira
Rob Bocchino - Post-doc at Carnegie Mellon University
Hannes Mehnert - Ph.D. student visitor at CMU
Iain McGinniss - Ph.D. student visitor at CMU
Past project members
Ivo Correia - M.Sc. student at the University of Coimbra
Manuel Mohr - M.Sc. student at the Karlsruhe university
João Barbosa - B.Sc. student at the University of Coimbra
Duarte Abreu - M.Sc. student at the University of Madeira
Alican Turk - B.Sc. student at Carnegie mellon University
Mark Hahnenberg - B.Sc. student at Carnegie mellon University
Matthew Rodriguez - B.Sc. student at Carnegie mellon University
Radu Siminiceanu - National Institute of Aerospace, NIA, USA
Camilo Rueda, Carlos Olarte, Gerardo Sarria - Pontificia Universidad Javeriana, PUJ, Cali, Colombia
Elaine Pimentel - Universidade Federal de Minas Gerais, UFMG, Brazil