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! 🚀