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
PDEng Defence of Jorryt-Jan Dijkstra (ING Group) on 'Zero-Downtime Schema Changes at ING'We are very glad to announce that Jorryt-Jan Dijkstra successfully defended his PDEng thesis on Wednesday 1 September 2021. The project is the first outcome of a collaboration with ING group.Read more
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
Marielle Stoelinga in Atlas (NPO2) 24 March 2021
