Michael Kifer

Michael Kifer is an associate professor of Computer Science at SUNY Stony Brook. He received his PhD, from the Hebrew University of Jerusalem, Israel. His professional interests include database systems, logic programming, and knowledge representation. Scott A. Smolka is a professor of Computer Science at SUNY Stony Brook. He received his Ph.D. from Brown University. His research interests include semantics of concurrency, design of distributed algorithm and languages, and visual environments...See more