Previously, he was a tenure-track faculty at the Max Planck Institute for Software Systems (MPI-SWS), where he led the Dependable Systems Group, and before that he was an assistant professor at the Technical University of Lisbon and researcher at INESC-ID. He received his PhD degree from the Massachusetts Institute of Technology (MIT) in 2005.