Professor Moshe Y. Vardi @vardi will give a talk at the UCL @ucl_pplv on Thursday, January 8, 2026. Location: 66-72 Gower St, Seminar Room G01 Time: 13:00-14:30 Zoom link: ucl.zoom.us/j/91839479875?pw… Join us to learn What Is Theoretical Computer Science?

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-Advert…

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

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

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

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!

Getting ready for Incorrectness Logic Underapproximation tutorial at @poplconf with @AzaleaRaad , @QLocLe and @jvanegue popl23.sigplan.org/program/p…

Thanks Peter for the distinguished guidance and support.

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

the camera-ready version of our @splashcon 2022 paper on Pulse-X (an automatic program analysis for catching memory errors, based on Incorrectness Logic), with @AzaleaRaad, Jules Villa, Josh Berdine, @HerrDreyer and @PeterOHearn12, is available here: loc.bitbucket.io/pulse-x.pdf

thrilled that our paper "Finding Real Bugs in Big Programs with Incorrectness Logic" has been accepted to @splashcon 2022 ! This is joint work with @AzaleaRaad, Jules Villa, Josh Berdine, @HerrDreyer, and @PeterOHearn12 @Meta . Stay tuned for more!

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

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-g…

Amazing!

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