Software Engineer,
Researcher

 

My Story

 

I’m an ICREA Research Professor at Internet Interdisciplinary Institute, the Research center of the Open University of Catalonia (UOC) where I’m leading the SOM Research Lab. Previously, I’ve been at École des Mines de Nantes, Inria, University of Toronto, Politecnico di Milano and the Technical University of Catalonia.

My research falls into the broad area of systems and software engineering, especially promoting the rigorous use of software models in all software tasks while keeping an eye on the most unpredictable element in any project: the people involved in it. Current research topics include pragmatic formal verification techniques, analysis of open source communities, open data exploitation and the role AI can play in software development (and vice versa).

Papers published

Co-authors

Funding received (in M €)

Citations

 

A selection of tools, projects and partners I’ve collaborated with