Grant Passmore passed his PhD viva - Congratulations!
Congratulations to Grant Passmore who just passed his PhD viva. His examiners were Daniel Kroening (Oxford) and Alan Smaill. The title of his thesis is:
Combined Decision Procedures for Nonlinear Arithmetics, Real and Complex
LFCS Seminar: Thomas Streicher
Congratulations to Iain Whiteside who has been awarded an internship at NASA Ames this summer.
