Curriculum vitae David Toman January 1997 Department of Computer Science Tel: (416) 978-1675 University of Toronto Fax: (416) 978-4765 6 King's College Rd., david@cs.toronto.edu Toronto, Ontario, Canada M5S 1A4 http://www.cs.toronto.edu/~david Research Interests: * Temporal databases and query languages, and time-related issues in Database Management systems (compact representation of histories, integrity constraints, transaction processing, applications to spatial databases, GIS, and CAD systems). * Representation and query languages for semi-structured data (e.g., for the World Wide Web or scientific databases). * Finite model theory, model checking, and their applications to database systems, formal methods, and software engineering. * Efficient implementation techniques for (non-imperative) programming languages. Education: * PhD. in Computer Science, Department of Computing and Information Sciences, Kansas State University, Manhattan, KS (1996). Advisor: Jan Chomicki, Dissertation: Foundations of Temporal Query Languages. * MS (MGr., includes BS) in Computer Science (summa cum laude), Department of Computer Science, Masaryk University Brno, Czechoslovakia, (1992), GPA 4.0. Advisor: Jiri Zlatuska, Thesis: Operational Semantics of Prolog, Semantics of WAM. Research Experience: * Visiting Research Professor, BRICS, Centre for Basic Research in Computer Science of the Danish National Science Foundation, University of Aarhus, Denmark (Fall 1997). * NSERC/NATO Postdoctoral Fellow, Department of Computer Science, University of Toronto, Canada (1996-1998). * Graduate Research Assistant, Computing and Information Sciences Department, Kansas State University (1992-1995). * Research Associate, Institute of Computer Science, Masaryk University, Czech Republic (1987-1992). Teaching Experience: Visiting Professor DAIMI, Department of Computer Science, University of Aarhus, Denmark (1997). * Temporal Databases (BRICS PhD Mini-course), BRICS Newsletter 7, 3-4, 1997. * Introduction to Database Systems (senior course), Fall 1997. Teaching Assistant Department Computing and Information Sciences, Kansas State University (1993-1995). * Topics in Theory of Asynchronous Systems (graduate class), Summer 1995. * Analysis of Algorithms (graduate class), Fall 1994. * Theory of Formal Languages (graduate class), Spring 1994, Spring 1995. * AI Programming Techniques (graduate class), Spring 1994. * Set Theory and Logic (undergraduate class), Spring 1994, Summer 1994. * Introduction to Database Systems (undergraduate class), Fall 1993, Spring 1994, Fall 1994, Fall 1995. Other Professional Experience: * System Administrator, Computing and Information Sciences Department, Kansas State University (Summer 1995). * System Administrator, Institute of Computer Science, Masaryk University, Czech Republic (1988-1992). Planned, installed, and maintained university-wide IP network (co-author of the winning proposal for the University network), developed UNIX SVR3.2 device drivers for custom communication boards. * Programmer, Institute of Computer Science, Masaryk University, Czech Republic (summer 1987). Designed accounting programs for the RSX-11M system. * Programmer, Rudny Projekt, Brno (summer 1986). Designed applications for job scheduling. Prototype Research Systems: * Compiler for a temporal extension of SQL to serve as a pre-processor for a standard relational DBMS (in progress). * An empirical comparison of performance of query evaluation algorithms for constraint deductive queries (Prolog Meta-interpreter, 1996). * Compiler of temporal constraints to SQL (Starburst and INGRES DBMS, 1994-1995). * Efficient implementation of logic programming languages (funded in part by the Ministry of Education of CSFR, 1989-1992; part of the IBM Academic Initiative in CSFR 1990-1992). * WAM-based Prolog compiler for MS-DOS and UNIX (funded in part by the Ministry of Education of CSFR, 1987-1989). * Multiuser Editor for RSX-11M with small footprint in memory (Macro-11, RSX-11M, PDP-11/34, 1987). Publications: Articles in Refereed Journals 1. Datalog with Integer Periodicity Constraints (with Jan Chomicki). To appear in Journal of Logic Programming, 1998. 2. Memoing Evaluation for Constraint Extensions of Datalog. Constraints: An International Journal, Spec. Issue on Constraints and Databases, Vol. 2 No. 3/4, December 1997. 3. Implementing Temporal Integrity Constraints Using an Active DBMS (with Jan Chomicki). IEEE Transactions on Knowledge and Data Engineering, Special section on Temporal and Real-time Databases, Vol. 7, No. 4, August 1995. 4. Implementation Techniques for Prolog (with Ludek Matyska). Informacne Systemy 1, 29-59, 1991 (in Czech). Articles in Refereed Conferences 1. A Point-based Temporal Extension of SQL. Proc. 5th International Conference on Deductive and Object-Oriented Databases, LNCS 1341, 103-121, 1997. Full version TR-CS-362, 1997, University of Toronto. 2. Point vs. Interval Query Languages for Temporal Databases. Proc. 15th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), Montreal, PQ, 58--67, 1996. 3. First-Order Temporal Queries Inexpressible in Temporal Logic (with Damian Niwinski). Proc. Advances in Database Technology EDBT'96, Avignon, France, LNCS 1057, 307--324, 1996. Preliminary version in Workshop on Theory of Constraint Databases, PODS 1995 (TR UNL-CSE-95-08). 4. Querying TSQL2 Databases with Temporal Logic (with Michael H. Bohlen, Jan Chomicki, and Richard T. Snodgrass). Proc. Advances in Database Technology EDBT'96, Avignon, France, LNCS 1057, 325--341, 1996. 5. Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. Proc. International Symposium on Logic Programming ILPS'95, Portland, OR, 98--112, 1995. 6. Datalog with Integer Periodicity Constraints (with Jan Chomicki and David S. Rogers). Proc. International Symposium on Logic Programming ILPS'94, Ithaca, NY, 189--203, 1994. 7. The Register Allocation in WAM (with Ludek Matyska and Adriana Jergova). Proc. 8th International Conference on Logic Programming ICLP'91, Paris, 142--156, 1991. 8. Implementation techniques for Logic Programming (with Ludek Matyska.) Proc. SOFSEM'89, 141--162, 1989 (in Czech). Other Refereed Articles 1. Temporal Logic in Information Systems (with Jan Chomicki). Invited to Logics for Databases and Information Systems (Chomicki and Saake eds.), Kluwer Academic publishers, 1998 (to appear). Preliminary version in BRICS Lecture Series LS-97-1, 1997. 2. Point-based Temporal Extensions of SQL and their Efficient Implementation. Dagstuhl seminar on Temporal Databases, Germany, 1997. Invited to Temporal Databases: Research and Practice, Etzion, Jajodia, Sripada, eds., LNCS 1399, chapter 3.4, 1998 (to appear). 3. Constraint Databases and Program Analysis using Abstract Interpretation. Proc. 2nd Int. Workshop on Constraint Databases Systems CDB'97, Delphi, Greece, LNCS 1191 (Constraint Databases and Applications), 246--262, 1997. 4. Computing the Well-founded Semantics for Constraint Extensions of Datalog. Proc. CP'96 workshop on Constraint Databases, Cambridge, MA, LNCS 1191 (Constraint Databases and Applications), 64--79, 1996. 5. Implementing Temporal Integrity Constraints Using an Active DBMS (with Jan Chomicki). Proc. RIDE'94 Active Database Systems, Houston, TX, 87--95, 1994. Other Publications 1. Foundations of Temporal Query Languages. PhD. Dissertation. Kansas State University, 1996. 2. WAM Based Efficient Implementation of Logic Programming Languages (with Ludek Matyska, Adriana Jergova, Petr Mejzlik, Vaclav Racansky, and Jiri Zlatuska). Final Report of IBM Academic Initiative Research Project, 1992. 3. Operational Semantics of Prolog, Semantics of WAM. MS Thesis, Faculty of Science, Masaryk University Brno, 1992. 4. Implementation of a Prolog Compiler (with Ludek Matyska). Proc. Compilers, Praha, 81--104, 1990 (in Czech). 5. Prolog for AI Applications (with Ludek Matyska). Proc. Artificial Intelligence AI'89, Praha, 191--198, 1989. 6. Implementation of Freeze in WAM. Proc. Workshop on Logic Programming LOP'89, 95--94, 1989 (in Czech). 7. Prolog and WAM - A Case Study of Implementation. (with Ludek Matyska). Proc. Workshop on Logic Programming LOP'88, 65--88, 1988. In Preparation 1. Hierarchy of First-order Temporal Logics. 2. The Price of Searching the Web. 3. Querying ATSQL Databases with Temporal Logic (journal version, with Jan Chomicki and Michael H. Bohlen). Invited Talks: * Temporal Databases (a tutorial; with Jan Chomicki) -- International Conference on Advances in Database Technology, EDBT'98, Valencia, Spain, March 1998, and -- International Conference on Temporal Logic, ICTL'97, Manchester, UK, July 1997. * Temporal Extensions of SQL. -- City University, London UK, July 1997, -- SUNY at Stony Brook, March 1997, and -- Lucent Bell Labs, March 1997. * First-Order Temporal Queries Inexpressible in Temporal Logic. -- University of Birmingham, Birmingham UK, July 1997, -- BRICS, University of Aarhus, November 1996, and -- Memorial University of Newfoundland, July 1996. * Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. -- University of Toronto (interview talk), June 1995. * Datalog with Integer Periodicity Constraints. -- University of Nebraska-Lincoln, 1994. Grants, Fellowships, and Awards: * NSERC/NATO Postdoctoral Fellowship, Department of Computer Science, University of Toronto (CDN$58000) 1996-1998. * DIMACS Summer school on Finite Model Theory, Proof Complexity, and Computer-Aided Verification, DIMACS, Rutgers University, NJ, 1995 (NSF fellowship). * EDBT Summer School on Advances in Database Technology, Alghero, Italy, 1991 (EDBT fellowship). * NATO International Summer School on Logic and Algebra of Specification, Marktoberdorf, Germany, 1991 (NATO fellowship). * IBM Academic Initiative CSFR Project grant: Semantics of Logic Programming Languages (with Ludek Matyska and Jiri Zlatuska), 1990-1992. * Dean of Faculty of Science Academic Achievement Award, Masaryk University, Brno, Czech Republic, 1989. * Undergraduate Merit Scholarship. Masaryk University, Brno, Czech Republic (awarded bi-annually), 1988-1992. Professional Activities: * Refereeing for journals: ACM Transactions on Programmming Languages and Systems (TOPLAS), Journal of Logic Programming (JLP), IEEE Transactions of Knowledge and Data Engineering (TKDE), Information and Computation, Journal [formerly, Bulletin] of the Interest Group in Pure and Applied Logics (IGPL). * Refereeing for conferences: ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), ACM SIGMOD Conference on Management of Data, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, International Conference on Temporal Logic (ICTL), and International Conference on Principles and Practice of Constraint Programming (CP), International Workshop on Database Programming Languages (DBPL). * Memberships in Professional Organizations: Association for Logic Programming. Association for Computing Machinery. Czech Computer Science Society (CSIS), founding member. Upsilon Pi Epsilon Computer Science Honorary Society. References: * Prof. Jan Chomicki, Assistant Professor Department of Computer Science Monmouth University West Long Branch, NJ 07764-1898, U.S.A. e-mail: chomicki@moncol.monmouth.edu Phone: (908) 571-4457, Fax: (908) 571-3554 * Prof. Alberto O. Mendelzon, Professor Department of Computer Science University of Toronto 6 King's College Rd, Toronto, ON, M5S 3H5, Canada e-mail: mendel@cs.toronto.edu Phone: (416) 978-2952, Fax: (416) 978-1931 * Prof. Anthony J. Bonner, Associate Professor Department of Computer Science University of Toronto 6 King's College Rd, Toronto, ON, M5S 3H5, Canada e-mail: bonner@cs.toronto.edu Phone: (416) 978-7441, Fax: (416) 978-1931 * Prof. Olivier Danvy, Associate Professor BRICS University of Aarhus Ny Munkegade 540, DK-8000 Aarhus C, Denmark e-mail: danvy@brics.dk Phone: (+45) 8942 3369, Fax: (+45) 8942 3255 * Prof. David A. Schmidt, Professor Department of Computing and Information Sciences Kansas State University 234 Nichols Hall, Manhattan, KS-66506, U.S.A. e-mail: schmidt@cis.ksu.edu Phone: (785) 532-6350, Fax: (785) 532-7353 * Prof. Jiri Zlatuska, Professor Dean of Faculty of Informatics Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic e-mail: zlatuska@informatics.muni.cz Phone: (+420) 5 41512310, Fax: (+420) 5 41212568