ADDRESS

Laboratory for Temporal Logic
University of Cincinnati
College of Engineering and Applied Science
2901 Woodside Drive, Cincinnati OH 45221

E-MAIL

kyrozier AT cs DOT rice DOT edu

Kristin Yvonne Rozier

Assistant Professor and Lab Director
University of Cincinnati
WEBSITE

Graduate student positions available