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/
 

Teaching

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)

Research

Reasoning about Time

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: