Alejandro Luque Cerpa

Computing Science Division
Chalmers University of Technology
EDIT building | Floor 6V Office 6472
412 96 Gothenburg, Sweden
luque at

I am a Ph.D. Student since late 2023 at the Computer Science and Engineering Department at Chalmers University of Technology. The topic of my Ph.D. is "Assurance in Autonomous Systems", and my research interests include (but are not limited to) runtime assurance; explainability, especially on artificial intelligence; and the formal specification, verification, and synthesis of cyber-physical systems. My research is funded by Wallenberg AI, Autonomous Systems, and Software Program.