Assistant Professor, School of Computing
Ph.D., TU Munich, 1999
Professor Slind joined the faculty in 2001. His
research interests are in logic and functional programming. He is
particularly interested in higher order logic, its implementation, and
its application to deductive verification of system properties. Recent
research has investigated the modeling of generic and functional
programming. Before coming to Utah, he participated in a European
project that developed middleware for applications that require a
theorem proving component.