Friday 4 June 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