Current Ph.D. Students
- Iván Calvo: A specification language for the evaluation, orchestration, and fine-tuning of artificial intelligence models
- Walter Guillouli: User segmentation and analysis in online gaming platforms using deep learning (together with Manuel Méndez)
- Freddy Batista: Developing a New Methodology to Estimate the Added Value of Public Schools in Colombia Using Spatial Data and Machine Learning (together with Borja Moya-Gómez).
Former Ph.D. Students
- Natalia López: Semantics for Non-Markovian models
- Ismael Rodríguez: PAMR: Syntax, semantics, and applications
- Mercedes G. Merayo: Testing of temporal and probabilistic systems (together with Rob Hierons)
- César Andrés: Active and passive testing of timed and probabilistic systems (together with Mercedes G. Merayo)
- Carlos Molinero: Two applications of formal methods to the development and testing of complex systems
- Alfredo Ibias: Applications of Information Theory and Artificial Intelligence to Software testing
- Miguel Benito-Parejo: Using evolutive algorithms to optimise collaborative testing (together with Mercedes G. Merayo)