May

  • I’m excited to share that my research proposal PROVE-IT (Probabilistic Verification and Counterfactual Explanations for Iterative Decision-Making Tasks) has been awarded the highly competitive Austrian Science Fund FWF ESPRIT Fellowship, with funding of approximately €350K over the next 3 years 🤩 Stay tuned for exciting research! 🚀

  • Two new papers accepted! 🎉 “Probabilistic Verification of Recurrent Neural Networks for Single and Multi-Agent Reinforcement Learning” and “A Survey on the Verification of Reinforcement Learning Policies” have both been accepted at the 35th International Joint Conference on Artificial Intelligence (IJCAI 2026)! Papers available soon!

 April

  • New journal paper accepted! 🎉 “ε-Retraining Reinforcement Learning Algorithms” has been accepted at the Journal of Autonomous Agents and MultiAgent Systems (JAAMAS)! Paper available soon, stay tuned! 🚀

  • Excited to share that I’ve officially started a Postdoctoral Researcher position at TU Wien!🎉.

 March

  • Happy to share that I’ve officially graduated with a PhD cum laude!🎉 You can read more details on my thesis “Advanced Neural Networks Verification for Safe and Explainable Intelligent Systems” in this dedicated page.

  • My PhD thesis, “Advanced Neural Networks Verification for Safe and Explainable Intelligent Systems,” is now online! Check it out here 🎉.

 February

  • Excited to share that I’m visiting the Centre for Explainable AI at Imperial College London, working with Dr. Francesco Leofante. Stay tuned for exciting research! 🚀