Previously, he has been a faculty member at the École des Mines de Nantes and team leader of the AtlanMod Research group on an Inria International Chair and worked in Barcelona (Technical University of Catalonia ), Toronto (University of Toronto ) and Milano ( Politecnico di Milano ). He got his HdR (Habilitation à Diriger des Recherches) in France with the lecture “MDE 2.0.: pragmatic model verification and other stories” and did his PhD Thesis in Barcelona on the topic of “Incremental Integrity Checking in UML/OCL Conceptual Schemas“.
His research falls into the broad area of systems and software engineering, especially promoting the rigorous use of software models (read his book!) and engineering principles in all software engineering tasks while keeping an eye on the most unpredictable element in any project: the people involved in it.
Some of my current research topics include the development of pragmatic formal verification techniques to assess the quality and security of software, the study of open source projects and the communities around them and scalability challenges in the design of large systems.
You can find/interact with Jordi on: