I am with the Faculty of Engineering of the University of Porto as an Assistant Professor and a researcher at HASLab/INESC TEC. My research interests lie in the intersection of Software Engineering, Artificial Intelligence, and Formal Methods. In particular, I devise algorithms to automate the testing and debugging phases of the software lifecycle.

I hold a PhD in Computer Science/Software Engineering from the Delft University of Technology, the Netherlands, and graduated  graduated in Systems and Computer Engineering from University of Minho, Portugal, carrying out his graduation thesis project at Siemens S.A., Portugal. I have been working on Software Engineering problems both in industry and academy.

I publish under the name of Rui Abreu.