News
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
2023
- 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
2022
- 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
2021
- 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
2020
- 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