Johannes A. (Hans) Koomen, Ph.D. |
|
Associate Professor (Adjunct) | |
Department of Computer Science University of Rochester Rochester, NY 14627-0226 |
|
(585) 275-4505 during office hours only koomen at cs . rochester . edu http://www.cs.rochester.edu/~koomen/ |
I have been teaching in the CS department since 1986, starting with a Lisp course. Below is a sample of the courses I have taught over the years.
See also Taking Your Robot to Class by Kathleen McGarvey, in Rochester Review, November-December 2009, Vol. 72, No. 2.
Semester | Teaching | Classes | Office Hours |
---|---|---|---|
2016 Spring | Database Systems (CSC 261) Database Systems (CSC/TCS 461) |
||
2015 Fall | Computer Networks (CSC 257 / CSC 457 / TCS 457) | ||
2015 Spring | Database Systems (CSC 261 / CSC 461 / TCS 461) | ||
2014 Fall | The Science of Data Structures (CSC 172) | ||
2014 Spring | Database Systems (CSC 296) | ||
2012 Spring | Database Systems (CSC 296) | ||
2009 Fall | Explorations in Robotics (CSC 190c) | ||
2009 Spring | Intro to Database Systems (CSC 290c) | ||
2008 Fall | Intro to CS using Robots (CSC 190c) Intro to Robotics (CSC 290C) |
||
2008 Spring | Intro to Database Systems (CSC 290) | ||
2006 Spring | Introductory Computer Programming (CSC 170) | ||
2005 Fall | Computer Programming (CSC 171) | ||
2005 Spring | Data Structures (CSC 172) | ||
2004 Fall | Introductory Computer Programming (CSC 170) | ||
2004 Spring | Introductory Computer Programming (CSC 170) | ||
2003 Fall | Computer Programming (CSC 171) | ||
2003 Spring | Introductory Computer Programming (CSC 170) | ||
2002 Fall | Introductory Computer Programming (CSC 170) | ||
2002 Spring | Introductory Computer Programming (CSC 170) | ||
2001 Fall | Introductory Computer Programming (CSC 170) |
My dissertation research was on the representation of and reasoning about time. As part of this work, I built a very fast constraint propagation system called TIMELOGIC, based on James Allen's Temporal Interval logic. I augmented this system by including constraints on durations, constraint hierarchies, and recurrence.
Download the TIMELOGIC Temporal Reasoning System (Lisp source, ZIP).
Relevant publications: