معرفی
David Toman is an Assistant (later Associate) Professor in the Department of Computer Science at the University of Waterloo, part of the Faculty of Mathematics. His research focuses on temporal databases, query languages, embedded control systems, semi-structured data (XML), finite model theory, and programming language implementation. He holds a PhD from Kansas State University (1996) and an MS (MGr.) from Masaryk University (1992). Toman has held roles including Visiting Professor at BRICS, Aarhus University, and postdoctoral fellowships at the University of Toronto. His work includes over 40 refereed publications and contributions to projects funded by CITO, CFI, and NSERC. Awards include the NSERC/NATO Postdoctoral Fellowship and multiple summer school fellowships.
Education:
- PhD in Computer Science, Kansas State University (1996)
- MS (MGr.) in Computer Science, Masaryk University (1992)
Research Interests:
- Temporal databases and query languages
- Query processing in embedded control systems
- XML and semi-structured data management
- Finite model theory and formal methods
- Programming language implementation
Grants & Awards:
- CITO Project: Text Indexing for Data Warehouses (CDN$143,000)
- CFI/OIT: Software Technology for Embedded Control Programs (CDN$705,000)
- NSERC Individual Research Grant (CDN$84,000)
Key Contributions:
- Developed temporal extensions of SQL and query optimization techniques
- Contributed to description logics and duplicate elimination in databases
- Published widely in venues like ACM TODS, IEEE TKDE, and EDBT
