August 16, 2004: Professor Lenore Zuck joins the Department of Computer Science

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.













































 
Copyright 2016 The Board of Trustees
of the University of Illinois.webmaster@cs.uic.edu
WISEST
Helping Women Faculty Advance
Funded by NSF