معرفی
Lenore Zuck is a Research Professor at the University of Illinois at Chicago in the Department of Computer Science. Her work focuses on formal methods, theorem proving, and translation validation, with applications in security protocols and compiler verification. She has contributed to runtime verification, probabilistic model checking, and abstract interpretation.
Her research spans software verification, distributed systems, and secure web development. She has participated in major conferences like TACAS, VMCAI, CSFW, and workshops on formal methods. Recent publications address parameter tampering defenses, transactional memory verification, and declarative secure languages.
She is affiliated with the Analysis of Computer SYStems group at NYU and has collaborated on projects like the Compiler Validation Project. Her work often integrates theoretical foundations with practical applications in system design and security.
