I will recruit PhD students & postdocs to continue our collaboration with Facebook and build on CISL in several exciting ways, including tool development for concurrent bug detection. 👉 Get in touch if you're interested in a PhD/postdoc position at Imperial College London

Interested in Procedural Content Generation? join #PROCJAM and Make Something That Makes Something. Running 3rd to 13th Dec 2021 procjam.com

Amazing!

I've had fun working on under-approximate program analysis recently, and it's about to get even better ... Patrice Godefroid has now joined Lacework and we'll be working together to help change computer security forever! linkedin.com/posts/patrice-…

CS Faculty Twitter! Cornell, Maryland, and Max Planck host a 1-week summer school (CMMRS) for aspiring undergraduate and masters researchers. Free trip to Germany! Please help spread the word -- the application deadline is approaching (21st Feb) cmmrs.mpi-sws.org

thrilled that our paper "Finding Real Bugs in Big Programs with Incorrectness Logic" has been accepted to SPLASH Conference 2022 ! This is joint work with Azalea Raad, Jules Villa, Josh Berdine, Derek Dreyer, and Peter O'Hearn Meta . Stay tuned for more!

the camera-ready version of our SPLASH Conference 2022 paper on Pulse-X (an automatic program analysis for catching memory errors, based on Incorrectness Logic), with Azalea Raad, Jules Villa, Josh Berdine, Derek Dreyer and Peter O'Hearn, is available here: loc.bitbucket.io/pulse-x.pdf

Want to do a Computer Science PhD? I have 2 fully-funded PhD positions at Imperial College London! Topics are varied & include concurrent programming, automatic bug detection and program analysis. ⏰Deadline April 15th 👇Get in touch with me; info links in the tweet below

Looking for a postdoctoral position in formal methods? Love good food, free museums & a diverse community? Come & join my research team Imperial Computing in London as a postdoc. Starting date flexible within 2022. 💬 Ping me for an informal chat. 👉More info: jobs.ac.uk/job/CON572/res…

.⁦Loc Le⁩ gave a great talk at the Klee workshop about our work on using incorrectness logic for bug detection in large codebases. ⁦⁦Peter O'Hearn⁩,⁦Derek Dreyer⁩.

We're hiring Eng Managers to help us build our Code Security Analysis offering at Lacework. linkedin.com/posts/davymcal…

Peter O'Hearn Loc Le Infer Derek Dreyer Delighted to have received the SIGPLAN distinguished paper award for our work on Pulse-X. Joint work with Loc Le, Derek Dreyer, Peter O'Hearn, Jules Villard and Josh Berdine Infer.

Thanks Peter for the distinguished guidance and support.

Getting ready for Incorrectness Logic + Underapproximation tutorial at POPL 2026 with Azalea Raad , Loc Le and Julien Vanegue popl23.sigplan.org/program/progra…

I have 3 internships available in my Bloomberg team from May/June to August. Last year, our amazing interns implemented SAT solvers on GPU and Dwavesys quantum computer. We’re looking to implement several new domain specific solvers this year. Come visit NYC this summer!

Tutorial POPL 2026 on incorrectness+underapproximation. My slides on - how to infer procedure pre-/post- specification via bi-abduction - Pulse-x demo loc.bitbucket.io/papers/POPL23T…

Yll Buzoku giving his first international talk at the XII Workshop on Philosophical Logic / BA-Logic ba-logic.com/workshops/xii-… Buenos Aires Logic Group

We, RiSE/MSR, are hiring for exciting and ambitious projects. jobs.careers.microsoft.com/global/en/job/… (on the picture: lunch with colleagues)

I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here: doc.ic.ac.uk/~afd/PhD-Adver…