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.