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.
Expertise
- Foundations
- Logic
- Automata
- Verification
- Database theory