Year in Review: As we bid farewell to 2025, it’s time to reflect on the remarkable milestones and achievements that have defined this year.
For our October social, the Software Reliability Lab visited Portugal’s historic S164 NRP Barracuda submarine, now a museum ship.
Alexandra Mendes was invited to participate in the Dagstuhl Seminar 25392 on Specification Engineering: Foundations for the Future of Software Development.
The Software Reliability Lab has three papers accepted at SEFM 2025!
Congratulations to Alexandra Mendes and João F. Ferreira, each awarded an Amazon Research Award in Automated Reasoning!
