We kicked off our second session of the VeTSS inaugural conference with an exciting talk by the magnificent Mark Ryan on verifying transparency protocols. #vetss

The last morning session talk of the inaugural VeTSS conference is given by the incomparable Matthew Parkinson on Security and Legacy at Microsoft. #vetss

We resume our afternoon session of the VeTSS inaugural conference with an excellent talk by Petros Wallden on Benchmarking and Verifying Quantum Computers. #vetss

The second afternoon talk of the VeTSS inaugural conference is given by the inimitable Jules Villard on Formal Verification and Bug Finding at Meta. #vetss

Next in our lineup of fantastic speakers at the VeTSS inaugural conference is a talk by the preeminent Prof. Chris Hankin on Cyber Security and Critical Infrastructure Systems. #vetss

We're back with our final sessions of talks at the VeTSS inaugural conference, and we're treated to a fantastic talk by Vincent Rahli on Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems. #vetss

The penultimate talk of the VeTSS inaugural conference is given by the amazingly talented Karine Even-Mendoza on CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively. #vetss

The final talk of the VeTSS inaugural conference is given by the exceptionally talented @_graymalkin about on Porting Rust to Morello. #vetss

one of my favorite genres of tweet is “extremely angry at a mathematical object”

Congratulations to Drs. Dongal and Azalea Raad, and other investigators on successfully securing Cybersecurity Research Institutes projects: gow.epsrc.ukri.org/NGBOViewPanelR…. These projects are funded by EPSRC and aligned with #VeTSS.

Our paper "A General Approach to Under-approximate Reasoning about Concurrent Programs" has been accepted to be presented at CONCUR 2023! Work with Azalea Raad Peter O'Hearn and Josh Berdine.

We had a great start to the #VeTSS 2023 summer school with Prof. Georg Struth on "Algebraic Semantics and Verification" with implementations in Isabelle/HOL.

How exciting! The second VeTSS summer school #VeTSS lecture from Jules Villard on "Build your Own Scalable Static Analysis with the Infer Platform"

Jules Villard showed us how verification at scale works at #Meta in the second session "Build your Own Scalable Static Analysis with the Infer Platform" of the #VeTSS summer school.

A wonderful session on neural network verification at the #VeTSS summer school using the Vehicle tool presented by Prof. Ekaterina Komendantskaya, Dr. Luca Arnaboldi and Dr. Matthew Daggitt (joining us online from Japan!).

Amazing tutorial by Dr. Andrei Popescu on understanding induction and co-induction with proofs in Isabelle/HOL at the #VeTSS summer school.

I'm excited to be organizing a workshop on incorrectness reasoning with Azalea Raad at POPL this year. If you work on incorrectness, consider submitting a talk! popl24.sigplan.org/home/incorrect…

At CONCUR 2023, Imperial College London's Azalea Raad is presenting "A General Approach to Under-approximate Reasoning about Concurrent Programs," a paper written w/ our CTO Office's Julien Vanegue, Skiplabs's Josh Berdine & UCL's Peter O'Hearn bloom.bg/3rmiSQr #ConcurrentPrograms

I am happy to share that our paper “Non Termination Proving At Scale” was accepted at OOPSLA’24. Always a pleasure to collaborate with Azalea Raad and Peter O'Hearn :) See you in Pasadena for SPLASH Conference in October!

Congratulations to Stephen Brookes and Peter O’Hearn Peter O'Hearn for bagging the Test-of-Time Award at CONCUR’24 for their invention of Concurrent Separation Logic 20 years ago concurrency-theory.org/events/tot-awa… 👏👏👏