Jaime Cuartas is a PhD student based in the Department of Data Science and Artificial Intelligence, Faculty of Information Technology, at Monash University. His doctoral project, titled “Formal Explainability for Artificial Intelligence in Dynamic Environments,” aims to develop methods for making sequential AI decisions transparent and trustworthy. Jaime is supervised by Assoc. Professor Alexey Ignatiev and Professor Peter Stuckey (Monash University), and Assoc. Professor Julian Gutierrez (Sussex University).