- 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