Members

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

João Rafael - Msc student at the University of Coimbra

Ivo Correia - Msc student 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

Manuel Mohr - Msc student at the Karlsruhe university

João Barbosa - Bsc student at the University of Coimbra

Duarte Abreu - Msc student at the University of Madeira

Alican Turk - Bsc student at Carnegie mellon University

External Collaborators

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