Are you interested in software reliability, software verification, programming languages, or formal methods? Would you like to work with me and my group in beautiful Lisbon? Get in touch to discuss available positions. See for more details.

RT @AntigoneJournal: Now for our latest books give-away: 38 Classics books to be raffled off for free. Just RT this message, follow us, and….

Phil Wadler is currently presenting "Lambda, the Ultimate Teaching Assistant (Agda version)" at the FME Teaching Committee Tutorial Series @FormalMtds . Zoom link:

RT @Bertrand_Meyer: 1/ I am saddened to report (from today's print version of Le Monde) the passing away of the great French computer scien….

I’m excited to share that I’ve received an Amazon Research Award on Automated Reasoning! 🥳 The award will support my research on automated program repair for Infrastructure as Code. For more details, see my webpage:

RT @YuriyBrun: Congrats to all the LASER lab award winners at @ICSEconf 2025!

RT @ICSEconf: Throughout the week so far at #icse2025, we’ve seen new ideas take shape and future projects begin . all thanks to the powe….

RT @sh5i: Are you a new faculty member in SE? The New Faculty Symposium (NFS) at @ICSEconf offers valuable insights and practical advice fo….

"If you have a buggy program, you can fix it or call it AI" --- David Parnas, #ICSE2025 #ICSE

Today's suggested image by @grok was this. Mount Fuji is the most magical place I’ve seen this year. There’s something so special about it that you can’t help but want to keep gazing at its beauty.

The programmer's tragedy: to seek perfection in a world that demands delivery.

Every framework begins as a liberation and ends as a tyranny.

RT @FormalLand: Coq is moving to its new name Rocq !. This is the best theorem prover regarding the formal verifica….

RT @DKThomp: New study: An analysis of 400 occupations found that taxi and ambulance drivers had the lowest proportion of deaths from Alzhe….

RT @tianyin_xu: Dear PC chairs: Please take a deserved break and enjoy some holidays (even if you don't celebrate Xmas like me). Sending o….

🚀 Our @ICSEconf paper "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification" is now live on arXiv! 🤖📜. This is a collaboration involving researchers from @UCSanDiego @InescID @istecnico @imperialcollege @UMass . 📄 Read here:

Checkout ERCIM News 139 which is focused on Software Security and features a description of our work on polyglot code analysis for Infrastructure as Code!

3. Oh, and I even got to join the American Halloween tradition of Trick or Treating! 🍬🎃 What a fun experience!

2. Our paper "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification" was accepted at ICSE 2025! 📜🚀 This collaboration involved INESC-ID and wonderful colleagues from UC San Diego, UMass, and Imperial College London.

. automated program repair and to continue my collaboration with @nc2y. Looking forward to meeting new people and sparking new collaborations! (If you’re around and want to meet up, let me know!)

🌟 What a fantastic week!. 1. I arrived in Pittsburgh for my annual visit to @CarnegieMellon University—third year in a row! 🎉 This time, I'm officially here as a Visiting Scholar through the @CMUPortugal Program. Thrilled to be working with Limin Jia and Ruben Martins on.