Members

The project is a consortium of three 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.

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

Bruno Cabral - Assistant Professor at the University of Coimbra

Sven Stork - PhD student on the join doctoral program between CMU and the University of Coimbra

Alcides Fonseca - Msc student at the University of Coimbra

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

Manuel - Bsc student