Professor Lenore Zuck has joined the UIC Department of Computer Science as associate professor.
Lenore D. Zuck has received her B.Sc. in Computer Science from the Technion (Haifa, Israel) in 1979 and her Ph.D. in Computer Science from the Weizmann Institute of Science (Rehovot, Israel) in 1987. She has spent ten years working at Yale University’s Computer Science Department. Her research interests include: theorem proving, formal methods, translation validation, formal analysis of security protocols, temporal logic, semantics and verification of concurrent programs, logics of programs, and semantics of programming languages.