Stefan Zetzsche

News

I attended the Formal Specification and Validation at Scale workshop of the Research Institute on Verified Trustworthy Software Systems (VeTSS) at the Isaac Newton Institute.
London · 22 Oct 2024
I am serving as an artifact evaluator at the 52nd Symposium on Principles of Programming Languages (POPL 2025).
London · 1 Oct 2024
My paper Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny with Wojciech Różowski has been accepted at the 21st International Colloquium on Theoretical Aspects of Computing (ICTAC).
London · 2 Sep 2024
The Dafny workshop is returning to POPL in 2025! Please consider submitting.
London · 21 Aug 2024
I had a great time mentoring Yue Chen Li during his now completed internship in Amazon Web Services' Automated Reasoning Group.
London · 21 Aug 2024
I attended the Annual Meeting of the Research Institute on Verified Trustworthy Software Systems (VeTSS) at the Royal Academy of Engineering.
London · 21 May 2024
I gave a talk on Dafny at the Fourteenth South of England Regional Programming Languages Seminar (S-REPLS 14) at Jane Street.
London · 8 Mar 2024
I published a post in the Dafny Blog.
London · 12 Jan 2024

My paper VMC: a Dafny Library for Verified Monte Carlo Algorithms has been accepted at the Dafny workshop at POPL 24.
London · 15 Nov 2023
I published a post in the Dafny Blog.
London · 8 Nov 2023
I gave a talk on Dafny at the University of Birmingham.
London · 3 Nov 2023
I gave talks on Dafny at Cornell and Oxford University.
London · 16 Oct 2023
I gave a talk on Dafny in the LLAMA seminar series at the ILLC of the University of Amsterdam.
London · 4 Oct 2023
I am organizing a workshop on Dafny that will be co-located with POPL 2024 in London.
London · 29 Sep 2023
My PhD thesis Canonical Algebraic Generators in Automata Learning is now available online .
London · 8 Aug 2023

I am attending the 35th International Conference on Computer Aided Verification (CAV) in Paris.
London · 17 Jul 2023
I gave a talk on Dafny in the Programming Principles, Logic, and Verification Seminar at University College London (UCL).
London · 29 Jun 2023
I gave a talk at the 10th Conference on Algebra and Coalgebra in Computer Science (CALCO).
London · 21 Jun 2023
My paper Generators and Bases for Monadic Closures has been accepted at the 10th Conference on Algebra and Coalgebra in Computer Science (CALCO).
London · 29 Apr 2023
I successfully defended my PhD thesis Canonical Algebraic Generators in Automata Learning at University College London.
London · 27 Apr 2023
I volunteered as subreviewer for the 10th Conference on Algebra and Coalgebra in Computer Science (CALCO).
London · 18 Apr 2023
I volunteered as subreviewer for the 29th International Symposium on Model Checking of Software (SPIN).
London · 1 Mar 2023
I have been accepted as a member of the Artifact Evaluation Committee of the 35th International Conference on Computer Aided Verification (CAV).
London · 19 Jan 2023
I have submitted my PhD thesis Canonical Algebraic Generators in Automata Learning at the Univerity College London.
London · 15 Jan 2023

I started as full-time Applied Scientist in the Dafny programming language team within the Automated Reasoning Group of Amazon Web Services.
London · 21 Dec 2022
I completed my Software Engineering internship in the Hack programming language team of Meta.
London · 27 Sep 2022
I gave a presentation at the 38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 22) at Cornell University.
London · 12 July 2022
I gave a presentation at the Programming Principles, Logic, and Verification Seminar of the University College London.
London · 28 June 2022
My paper Guarded Kleene Algebra with Tests: Automata Learning has been accepted at the 38th International Conference on Mathematical Foundations of Programming Semantics (MFPS 22).
London · 10 June 2022
I have accepted an internship offer from Meta. I will be working on the (type system of the) Hack programming language.
London · 02 Mar 2022
I gave a presentation at the Lectures on Logic and its Mathematical Aspects Seminar series at the Institute for Logic, Language & Computation (ILLC) of the University of Amsterdam.
London · 26 Jan 2022

My paper Canonical Automata via Distributive Law Homomorphisms has been accepted for presentation at the 8th Symposium on Compositional Structures (SYCO 8).
London · 10 Nov 2021
I am currently interning as Applied Scientist in the Automated Reasoning Group of Amazon Web Services (AWS) under the supervision of Rustan Leino.
London · 3 Sep 2021
My paper Canonical Automata via Distributive Law Homomorphisms has been accepted for publication at the 37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 21).
London · 3 Sep 2021
I am serving as a student volunteer at the International Conference on Computer-Aided Verification (CAV) and the International Colloquium on Automata, Languages and Programming (ICALP).
London · 25 May 2021
The preprint of my paper Canonical Automata via Distributive Law Homomorphisms can be found on arXiv.
London · 29 Apr 2021
I am serving as a mentor at the Symposium on Principles of Programming Languages (POPL).
London · 16 Jan 2021

I am serving as a student volunteer and mentor at the Conference on Systems, Programming, Languages, and Applications (SPLASH).
London · 31 Oct 2020
I am a teaching assistant for Logic and Database Theory, Discrete Mathematics for Computer Scientists, and Computability and Complexity.

London · 21 Oct 2020
You can now find a preprint of my paper Bases for Algebras Over a Monad on arXiv.
London · 20 Oct 2020