Talks

Heterogeneous Dynamic Logic: Provability Modulo Program Theories

Formal Reasoning for Compositional Systems Engineering (FLoC, Lisbon, Portugal)

25. Jul 2026
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision

Symposium on AI Verification (FLoC, Lisbon, Portugal)

24. Jul 2026
Differential Verification of Neural Networks: Theory and Applications

Workshop on Program Equivalence and Relational Reasoning (FLoC, Lisbon, Portugal)

24. Jul 2026
Heterogeneous Dynamic Logic: Provability Modulo Program Theories

PLDI (Boulder, USA)

19. Jun 2026
Guaranteed Safe AI Seminars

Horizon Omega (online)

9. Apr 2026
Replication of the Landscape for LLM-generated Formal Specifications for C Programs

Contract Languages Seminar (Online)

10. Dec 2025
Formally Verified LLM Program Synthesis for Solidity Smart Contracts

AISoLA, Rhodes, Greece

5. Nov 2025
Replication of the Landscape for LLM-generated Formal Specifications for C Programs

AISoLA, Rhodes, Greece

2. Nov 2025
Of Good Demons and Bad Angels: Guaranteeing Safe Neural Control under Finite Precision

ANSR Reading Group, Berkeley, California, US (Online)

20. Oct 2025
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision

FMCAD (SRI International, Menlo Park, USA)

8. Oct 2025