The David R. Cheriton School of Computer Science is pleased to announce that Professor David Toman has been promoted to full professor effective July 1, 2018.
“Congratulations to David,” said Dan Brown, Director of the David R. Cheriton School of Computer Science. “This much-deserved promotion highlights the excellent contributions he has made in teaching and research, and we all celebrate this important milestone with him.”
Professor David Toman
Professor David Toman is a faculty member of the Cheriton School of Computer Science’s Data Systems Group. His research focuses on logic-based foundations of knowledge representation with applications to information systems and databases. He has designed several decidable knowledge representation languages based on description logics and developed efficient algorithms for ontology-based query answering. He is the recipient (with co-authors) of Ray Reiter Prizes in 2010 and 2016.
Professor Toman received his Bachelor’s and Master’s degrees from the Masaryk University in the Czech Republic in 1992 and his PhD in computer science from Kansas State University in 1996. After graduation, he was a NATO/NSERC Postdoctoral Fellow at the University of Toronto and then joined the Department of Computer Science at the University of Waterloo in 1998. He was also a Visiting Professor at the Universities of Bolzano and TU Dresden as a part of the EU’s Erasmus Mundus Computational Logic Programme.