Biography
I received a BA in Mathematics and Computer Science, an MA in Formal Methods in Computer Science and a Ph.D. in Computer Science in Universidad Complutense de Madrid. Currently, I’m an Assistant Professor in the Departamento de Sistemas Informáticos y Computación and member of the Design and Testing of Reliable Systems research group.
Research
- Optimization techniques and heuristics
- Software testing and formal methods
- Machine learning
- Group decision making
Recent publications
- Miguel Benito-Parejo, Manuel Méndez, Mercedes G. Merayo: "An Evolutionary Algorithm and a Clustering Technique to Select Good Subsets of Test for Finite State Machines". ICCCI 2024.
- Manuel Méndez, Miguel Benito-Parejo, Mercedes G. Merayo: "Testing the Robustness of Machine Learning Models Through Mutations". ICCCI 2024.
- Manuel Méndez, Miguel Benito-Parejo, Alfredo Ibias, Manuel Núñez. "Metamorphic testing of chess engines". Information & Software Technology 2023.
All the publications can be found in DBLP, ORCID, scholar and GitHub links.
Program Committees
Chair
- Publicity Chair at SEFM 2025: Int. Conference on Software Engineering and Formal Methods
Teaching
- Advanced Algorithmic Techniques
- Algorithms and Data Structures
- Databases
- Discrete Mathematics and Mathematical Logic
- Object-Oriented Programming (Java and Python)
- Computer Programming (C++ and Python)
Contact
e-mail: miguelbp@ucm.es
Dep. Sistemas Informáticos y Computación
Facultad de Informática
Universidad Complutense de Madrid
C/ Prof. José García Santesmases 9
28040 Madrid, Spain
Tel: +34 913947578