Research proposal funded!We're happy with Fernando Castor, as his research proposal has been funded! The title of the project is 'Reducing the Energy Cost of AI in High-Stakes Systems' and was funded under the Energy Efficient Computing call 2026 organised by MESA+, DSI, EEMCS and the Climate Centre. PI's are Fernando Castor and Marcos Machado (BMS-HBE-FEBIS). The value is € 38000,-.Read more
New colleague and visitorsLast week, David van Balen started in FMT as scientific programmer within the EVI project, with Petra van de Bos and María Belén Rodriguez. Welcome in the group, David!Read more
Research proposal funded!
New colleague and visitors
Papers of the Month: June 2026
Tentamenvraag Diamonds of CS - Software Diamond in De Ingenieur
Kicking off the Week of Education with Ed Brinksma & Innovation Awards
Marieke Huisman interview in Algemeen Dagblad
Ed Brinksma elected as an Honorary Fellow of the Dutch National Association for Software Engineering
Interview on VerCors and Software Reliability
Best student team at VerifyThis 2026
Papers of the Month: May 2026
Papers of the Month: April 2026
Joost-Pieter Katoen awarded KHMW Langerhuizen Lifetime Achievement Award
