Doctoral Symposium Program

09:00-10:20: Welcome Invited Talk by Kristin-Yvonne Rozier: On Time and Space (Of Humans)

10:20-11:00 Coffee break

11:00-12:30 Lightning rounds of PhD presentations:

Andrea Manini: Formal verification with games on graphs
Soaibuzzaman: Towards Comparing Learned Classifiers
Po-Chun Chien: Bridging Hardware and Software Formal Verification
Daniel Drodt: Deductive Verification of Rust
Logan Murphy: Proof-Driven Assurance of Software Product Lines
Alberto Tagliaferro: Harnessing LLMs for Verification-Guided Specification Repair
Yican Sun: Synthesis and Verification of Complex Algorithms
Ahmed Nagy Abdelkhalek Mansour: Combining Machine Learning and Formal Methods to Design Protection Systems in Low Voltage Distribution Grids

12:30-14:00 Lunch break

14:00-15:20 Lightning rounds of PhD presentations

Beatrice Melani: Development of a Structured Framework for Requirement Specification, Validation and Verification Supporting Flight Control Systems Design
Romain Sidhoum: A declarative language to develop automated theorem provers
Holly Hendry: Human-Robot Interaction in the Verification and Design of Robotic Systems
Elvis Konjoh Selabi: A model for data-aware role management of smart contracts
Juliane Päßler: Verification Methods for Self-Adaptive Systems
Andoni Rodriguez: Reactive Synthesis Modulo Theories
Paul Kobialka: Data-Driven Formal Methods for Improving User Journey Analysis

15:20-16:00 Coffee break

16:00-17:30 Invited Talk by Byron Cook: Thoughts on the interplay between corporate, government, and university R&D Closing