Jordi Cabot This portal is maintained by Jordi Cabot, currently an ICREA Research Professor at Internet Interdisciplinary Institute, a Research center of the Open University of Catalonia (UOC).

Previously, I’ve been a faculty member at the École des Mines de Nantes and team leader of the AtlanMod Research group at INRIA (on an Inria International Chair) and worked in Barcelona ( Technical University of Catalonia ), Toronto ( University of Toronto ) and Milano ( Politecnico di Milano )

My research falls into the broad area of systems and software engineering, especially promoting the rigorous use of software models (read my 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.

To get to know Jordi a little bit better, check his publications, full CV or visit his team website.