Since 2016, I have been working under the title of Profesor Contratado Doctor (equivalent to Associate Professor) at the Escuela Técnica Superior de Ingenieros Informáticos at the Universidad Politécnica de Madrid (UPM). In November 2023, I received a positive evaluation from the ANECA agency for the position of Profesor Titular de Universidad (Associate Professor at the University, civil servant).

I started my research journey while studying Computer Science at UPM. I completed my final project at the Computer Science Lab of Ericsson in Stockholm while on an Erasmus student exchange at Uppsala University in Sweden. The project was supervised by Dr. Thomas Arts, and I was examined by Dr. Kostis Sagonas from Uppsala University. This marked the beginning of my research in the area of rigorous methods for programs written in the Erlang programming language. Throughout my research career, I have continued working in this area within various projects, including the EU FP7 ProTest (ref. 215868 FP7-ICT-2007-1) and Prowess (ref. 317820 FP7-ICT-2011-8) projects, national projects like SAFER (PID2019-104735RB-C44), of which I am the Principal Investigator, and regional projects like BLOQUES (P2018/TCS-4339), funded by the Madrid Regional Government.

As a result of this research, I have published over 40 papers in conferences and journals, with the most recent being:

(1) Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño, Clara Benac Earle: Executable contracts for Elixir. J. Log. Algebraic Methods Program. 142: 101019 (2025). JCR Q1.

(2) Ignacio Ballesteros, Clara Benac Earle, Julio Mariño, Lars-Åke Fredlund, Ángel Herranz:

Generation of algebraic data type values using evolutionary algorithms. J. Log. Algebraic Methods Program. 143: 101022 (2025). JCR Q1.

(3) Thomas Arts, Hans Svensson, Clara Benac Earle, Lars-Åke Fredlund: Testing feature-rich blockchains. Softw. Pract. Exp. 53(5): 1144-1173 (2023). JCR Q2.

(4) Álvaro Fernández Díaz, Lars-Åke Fredlund, Clara Benac Earle, Julio Mariño: A formal semantics for agent distribution and fault tolerance in Jason. J. Log. Algebraic Methods Program. 133: 100874 (2023). JCR Q1.

In 2011, I was invited to join a consortium for a proposal under the EU ARTEMIS JU program with companies such as Volvo, Thales, and Traintic, among others (ref. ART-010000-2012-8).

Summarizing my scientific contributions, I have contributed to knowledge generation in various areas, communicated ideas, hypotheses, and results in workshops, conferences, and relevant written publications, secured funding under the EU ARTEMIS JU programf and SAFER, taken on scientific responsibilities as Principal Investigator and leader of work packages in different international, national, and regional projects, and collaborated with international researchers like Dr. Thomas Arts.

In terms of societal contributions, I have made scientific contributions related to software quality improvement through rigorous techniques (formal and semi-formal) in collaboration with companies such as Ericsson, Volvo, Thales, Traintic, and Quviq (Sweden). I have also participated as a speaker in purely industrial events like the Erlang User Conference. Additionally, I initiated work in the area of digital literacy for vulnerable groups in 2019, and we recently signed an agreement for digital empowerment activities in rural areas of the Community of Madrid under the "NATIONAL DIGITAL CAPABILITIES PLAN" Component 19. Lastly, I have engaged in activities aimed at promoting the visibility of women in STEM, such as organizing various editions of the "Informática para tod@s" event, funded by ACM-Women, and moderating a panel discussion at the "Innovando en femenino: mujeres en Montegancedo" event on the International Day of Women and Girls in Science in 2023.

Regarding the training of young researchers, I co-directed the thesis titled "eJason: a Framework for Distributed and Fault-Tolerant Multi-Agent Systems," defended by Mr. Álvaro Fernández Díaz in 2018, achieving cum laude with international mention. Dr. Fernández currently works as an IT Project Manager at the Bank of Spain. Currently, I am supervising the thesis of Mr. Ignacio Ballesteros González.B.1. Breve descripción del Trabajo de Fin de Grado (TFG) y puntuación obtenida B.2. Breve descripción del Trabajo de Fin de Máster (TFM) y puntuación obtenida