- Invited to serve as a member of the PC for KR 2021. 2021. 02. 01.
- Joining the 2021 cohort of Techcelerate innovators. Thank you Imperial for the amazing opportunity. 2021. 01. 14.
- I will be serving as a Senior PC member for IJCAI 2021. Can't wait to read your best submissions! 2020. 12. 10.
- New paper out! The ARCH-COMP report on AI and Neural Network Control Systems is now available here - see post below for more details. 2020. 09. 27.
- Invited to serve as a member of the PC for AAAI 2021! 2020. 09. 01.
- Elena and I competed in the AI and Neural Network Control Systems track of the ARCH-COMP20. The track focuses on safety verification of closed-loop systems governed by neural controllers. Challenging problem with some really cool applications! Results out soon(ish), stay tuned. 2020. 07. 12.
- Fantastic news! Our paper on "Optimal Planning Modulo Theories" has been accepted at IJCAI20. Read the paper here. 2020. 04. 20.
Coventry here I come. Invited to the Automata in the Wild workshop at the University of Warwick. Postponed due to the COVID19 pandemic. 2020. 02. 27.
- Just came back from Italy, where I successfully defended my PhD! 2020. 01. 26.
- New year, new paper: "Verification of Neural Networks: Enhancing Scalability through Pruning" accepted at ECAI20. Read the paper here. 2020. 01. 15.
- Joined Imperial College London, exciting times ahead! 2019. 10. 27.
- Great news: invited to speak at FMAIL in Bergen next Dec. 2019. 10. 03.
- New website online. 2019. 09. 16.