Marieke Huisman featured in interview in Voxabout Bart Jacobs, who recently won the Stevinpremie. Marieke was his first PhD student.
https://www.voxweb.nl/nieuws/bart-jacobs-een-principiele-criticus-die-niet-snel-buigt.Read more
Knor wins parity games competition!Knor, a synthesis tool for parity automata developed at the FMT group, has won the parity-game synthesis track of SYNTCOMP 2021. Knor was the fastest solver, solving most benchmarks (276 of 303) within the time limit. Knor also won the "hard-parity-game" track by solving 216 out of 217 benchmarks within the time limit. This is due to effective use of binary decision diagrams and of symbolic parity game algorithms that have been developed at the UT by Tom van Dijk in collaboration with Oebele Lijzenga and Bob Rubbens.Read more
Marieke Huisman featured in interview in Vox
Knor wins parity games competition!- PDEng Defence of Jorryt-Jan Dijkstra (ING Group) on 'Zero-Downtime Schema Changes at ING'
- Tim Kemp wins the ENIAC Thesis Award 2019-2020!
- Formally Verified SAT-Solver IsaSAT wins EDA Challenge
- New FMT member!
- Marieke Huisman in U-Today: women in science
- Marieke Huisman features in AG Connect podcast - see link below
- New FMT staff member!
- New CS Programme Director!
- Marielle Stoelinga on UT Campus Talks 29 April - with link
- Vadim Zaytsev got an IDEA
