Thursday 25 March 2021
More recent news
Fri 15 Oct 2021Marieke Huisman featured in interview in Vox
Wed 22 Sep 2021Knor wins parity games competition!- Fri 3 Sep 2021PDEng Defence of Jorryt-Jan Dijkstra (ING Group) on 'Zero-Downtime Schema Changes at ING'
- Thu 19 Aug 2021Tim Kemp wins the ENIAC Thesis Award 2019-2020!
- Wed 14 Jul 2021Formally Verified SAT-Solver IsaSAT wins EDA Challenge
