Lab directory
Prof. David Toman — Research Profile
University of Waterloo · David R. Cheriton School of Computer Science
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Nov 2, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs, and keep your contact prep in one place.
What to prepare before emailing a PIAbout
Prof. David Toman at University of Waterloo David R. Cheriton School of Computer Science lists Logic in Computer Science, Knowledge Representation, Database and Information Systems as their registered research area.
Research keywords
Logic in Computer ScienceKnowledge RepresentationDatabase and Information Systems
Other labs in this department
- Ali José Mashtizadeh Lab
Operating systems, distributed systems, storage
- Anamaria Crisan Lab
Human-centered AI, data visualization, healthcare data science
- Arne Storjohann Lab
symbolic and exact linear algebra, Computing matrix canonical forms, Algorithms for sparse and black-box matrices
- Bernard Wong Lab
Distributed systems and networking
- Bin Ma Lab
Bioinformatics, protein sequencing algorithms
- Charles Clarke Lab
Search, information retrieval, data science