Computer Scientist / CS Prof at University of Porto / Researcher at INESC-ID (@InescID) / Coding with codeset.ai (@codesetai)
Joined April 2007
- Tweets 4,155
- Following 711
- Followers 987
- Likes 9,220
143 Photos and videos
Pinned Tweet
12 Mar 2020
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 joaoff.com/opportunities for more details.
1
18
Mar 19
Great news: you can now get more from your code agents at a lower price!
Same models, better context → much better value for money.
And at ~$5, there's really no reason not to try it.
Congrats to Nuno and André for the amazing work!
Mar 19
We made Haiku as good as Opus. Without changing the model.
Today we're launching Codeset. Here's what we found 🧵
1
421
João F. Ferreira retweeted
30 Oct 2025
I'm proud to officially announce CUE Labs!
I co-founded CUE Labs with @_myitcv to build a Configuration Control Plane, solving config chaos with CUE. Our work also provides the stewardship for the @cue_lang open source project.
Read our launch post: cue.dev/blog/announcing-cue-…
1
2
7
927
17 Oct 2025
Excited to see Codeset live! 🚀 Reproducible environments & datasets make training code agents on real-world tasks fast and easy. What used to take complex setups now works with just a few API calls!
If you’re into code AI or automated bug-fixing, try Codeset & share feedback!🎉
2
3
737
João F. Ferreira retweeted
29 Sep 2025
🚀 We’re excited to announce Codeset: a startup on a mission to accelerate the development of agentic code models.
1
2
2
320
João F. Ferreira retweeted
6 Jun 2025
Now for our latest books give-away: 38 Classics books to be raffled off for free. Just RT this message, follow us, and we will make the draw on Monday 9 June. 1st name gets 20 books, 2nd 12, 3rd 6. Open to all, good luck!
(Will post details and photos of each book this evening.)
38
842
718
129,010
6 Jun 2025
Phil Wadler is currently presenting "Lambda, the Ultimate Teaching Assistant (Agda version)" at the FME Teaching Committee Tutorial Series @FormalMtds
Zoom link: aboakademi.zoom.us/j/6425443…
2
329
João F. Ferreira retweeted
3 Jun 2025
1/ I am saddened to report (from today's print version of Le Monde) the passing away of the great French computer scientist Jean-Raymond Abrial. He is a pioneer in formal methods and their applications, particularly through three major innovations: the "Data Semantics" model,
2
14
39
2,272
3 Jun 2025
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: joaoff.com
3 Jun 2025
Announcing 70 Amazon Research Award recipients! Representing 44 universities in 10 countries, awardees get access to Amazon public datasets and AWS AI/ML services and tools. #AmazonResearchAwards amazon.science/research-awar…
3
35
2,901
João F. Ferreira retweeted
1 May 2025
Congrats to all the LASER lab award winners at @ICSEconf 2025!
2
9
1,018
João F. Ferreira retweeted
28 Apr 2025
Are you a new faculty member in SE? The New Faculty Symposium (NFS) at @ICSEconf offers valuable insights and practical advice for the challenges you will encounter. ICSE attendees are welcome to join.
🗓️ Apr 29 / 📍 Room 201 / 🔗 conf.researchr.org/track/ics… #icse2025
3
15
2,685
30 Apr 2025
1
5
522
27 Dec 2024
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.
8
1,074
27 Dec 2024
The programmer's tragedy: to seek perfection in a world that demands delivery.
3
491
27 Dec 2024
Every framework begins as a liberation and ends as a tyranny.
1
1
2
517
João F. Ferreira retweeted
26 Dec 2024
Coq is moving to its new name Rocq rocq-prover.org/ !
This is the best theorem prover regarding the formal verification of programs, to ensure critical implementations have no bugs.
We will make more educational videos regarding its use in 2025!
4
29
119
7,567
João F. Ferreira retweeted
24 Dec 2024
New study: An analysis of 400 occupations found that taxi and ambulance drivers had the lowest proportion of deaths from Alzheimer’s—raising the possibility that constant stimulation of the hippocampus, used for navigational and spatial processing, might be protective
169
646
5,859
697,271
João F. Ferreira retweeted
24 Dec 2024
Dear PC chairs: Please take a deserved break and enjoy some holidays (even if you don't celebrate Xmas like me).
Sending out massive rejection emails on Christmas is such a bad idea! Do we really want students to be sad on Xmas and to work on rejected papers?
Merry Christmas !
8
4
82
6,309
19 Dec 2024
🚀 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: arxiv.org/abs/2412.14063
1
6
18
1,410
7 Nov 2024
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!
24 Oct 2024
A new ERCIM News issue (Number 139) is online with a special theme on Software Security ercim-news.ercim.eu/
2
7
1,232