César Rodríguez
Dr. César Rodríguez

Associate Professor at Université Sorbonne Paris Nord.

Find me on: [DBLP], [Google Scholar], [Linkedin], [Github]

Biography

Between 2017 and 2022 I was a principal architect at Diffblue, a startup that builds tools for automated generation of Java unit tests.

Since 2014 I am also an associate professor (maître de conférences) at the Université Sorbonne Paris Nord, working in the Specification and Verification team within LIPN. I am currently on long-term leave (détachement) from this position.

Before joining Paris 13, I was a research assistant at the Computer Science Department of the University of Oxford, working at Daniel Kroening's group. I received my PhD in 2013 from the École Normale Supérieure Paris-Saclay (previously ENS Cachan), where I was a doctoral candidate at the Laboratoire Spécification et Vérification (LSV) under superivision of Stefan Schwoon.

Research

I am interested in techniques for automated program analysis of sequential/concurrent programs, including:

I am the author of multiple verification tools, check my Github.

I have also worked in diagnosis and process discovery. See my publications at my DBLP and Google Scholar profiles for more information.

Goal

The central goal of my research is providing tools and techniques for program analysis that have a direct impact on the way people write software and reason about it.

My motivation for, and approach to formal methods stems from my previous life as a embedded developer, mainly within the Nanosat 1B satellite project, during my years with the SRG, University of Alcalá. There, I learnt about the need for more rigorous and automated approaches to software development and the lack of good tool support for many aspects of the development process.

Diffblue

At Diffblue I work on automated generation of unit tests for Java code, as well as techniques to extract unit tests from recorded executions or fuzz managed languages. Some of these techniques found dozens of bugs in large code bases and are routinely used by thousands of developers to automatically test their code.

Teaching (old)

2016 -- 2017:

2015 -- 2016:

2014 -- 2015: