A team of Robotics, AI and Verification experts at Heriot-Watt and Edinburgh Universities has secured funding for training a cohort of PhD students in “Dependable and Deployable AI for Robotics”. Press release can be found here. It is an honour for LAIV to be part of this new chapter in the development of the Edinburgh Centre for Robotics!
Many congratulations to Remi Desmartin and Omri Isac (and their team of co-authors) for receiving the “Best Short Paper” award at LOPSTR’2023 this week, for the paper:
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz:
Towards a Certified Proof Checker for Deep Neural Network Verification. LOPSTR 2023: 198-209
Many congratulations to Dr Daniel Kienitz, who successfully passed his viva exam on “The Influence of Geometric Properties of Data Distributions on Artificial Neural Networks” on the 26th of October 2023!
Huge welcome to our new PhD students, Ben Coke, who will be working on Verification of Neural Networks in Engineering Applications (as part of ICASE Studentship led by SLB Cambridge) and Colin Kessler, who will be working in the Edinburgh Center for Robotics on Safe Design of Airborne Autonomous Systems with Neural Network Components.
Many congratulations to Ben Coke and Jeonghyeon Lee, who got A marks for MSc dissertations completed with Vehicle. Their contributions are also a part of the Vehicle tutorial: https://vehicle-lang.github.io/tutorial/
Many LAIV members are involved in the design and testing of the Vehicle specification language (for verifying neural networks). This Summer and Autumn, the team is giving a series of tutorials on Vehicle, at FOMLAS’23 in Paris, VETSS Summer School in Surrey and ICFP Tutorial fest in Seattle. All Vehicle tutorial materials are available here: https://vehicle-lang.github.io/tutorial/
Neural Network Verification in Vehicle in the Industrial setting. The studentship is funded by SLB, and will include internships in SLB Cambridge. Interested candidates should email firstname.lastname@example.org
Many congratulations to Natalia Slusarz and all supervisors
for having the paper: Natalia Ślusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert Stewart, Kathrin Stark Logic of Differentiable Logics: Towards a Uniform Semantics of DL
accepted at LPAR’23: https://easychair.org/smart-program/LPAR2023/
LAIV PhD Alasdair Hill has successfully defended his dissertation, entitled “Planning Problems as Types, Plans as Programs: A Dependent Types Infrastructure for Verification and Reasoning about Automated Plans in Agda” , examiners Andreas Abel, Chalmers and Manuel Maarek, HWU. Conratualtions, Ali!
This week and for 2 more weeks, we are hosting Omri Isac, a visitor from the Marabou team run by Guy Katz at HUJI . Check Omri’s talk at LAIV seminar pages, and his presentation at SPLS on the 8th of March. 🙂