Current Ph.D. Students
- Iván Calvo Revelo: A specification language for the evaluation, orchestration, and fine-tuning of artificial intelligence models
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)