A field of daisies with an overlay of the logo of the University of A Coruña

Academic footprint

My research focuses on software testing (automated, model, and property-based testing), applied to software in general, and distributed, concurrent, functional systems in particular. Most of my work takes place inside the BEAM.

You can check my latest publications of particular relevance in the sites below. If you happen to be interested in related areas, I am always open to collaboration!

If your institution or company does not provide access to the websites above, or if you are browsing them from a private computer and you cannot reach the linked publications, do not hesitate to contact me and ask me for a copy.

This is the list of PhD students I have supervised so far:

Looking for a thesis supervisor? I am always open to hear you out if you want to work with Erlang, Elixir, QuickCheck, PropER... or want to work on testing automation, model generation, distributed systems validation or similar. Just get in touch!

Fostering learning

I am currently the coordinator of studies for the Degree in Computer Engineering offered by the Faculty of Informatics of the University of A Coruña.

I also am the coordinator of the two subjects I teach:

Software Architecture

Software architecture

Degree in Computer Science and Engineering.
Compulsory subject for 3rd year students with a concentration on Software Engineering.
Elective subject for 4th year students with a concentration on Computer Science.

Software Architecture

Software validation and verification

Degree in Computer Science and Engineering.
Compulsory subject for 4th year students with a concentration on Software Engineering.
Elective subject for 4th year students with a concentration on Computer Science.

Spreading knowledge

Slides of my technical talks and source code of my projects can be found on the following sites:

Slideshare
Microsoft Sway
GitLab
GitHub
Attlassian BitBucket
Overleaf

These are some initiatives I take part in or collaborate with:

Radio Galega
Informática para todas
Revirada: Revista Feminista
Hello, sisters!
Inspira STEAM
Erlang Ecosystem Foundation