Dr Michael Vanden Boom | University of Oxford

Dr Michael Vanden Boom

Departmental Lecturer in Computer Science

About

Dr Vanden Boom is interested in solving problems of logic and automata arising in verification and database theory.