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.
Current research topics include the development of pragmatic formal verification techniques to assess the quality and security of software systems, the analysis and data mining of open source projects (and the communities around them) to optimize their collaboration and organizational structures, the study of scalability challenges in the design and deployment of large systems and the role AI can play in software development (and vice versa).
You can find/interact with Jordi on: