Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Lenore Zuck

Registered user since Thu 18 Jun 2015

Name: Lenore Zuck

Bio: My research focuses on the applications of formal methods for analysis and verification of secure software systems. In particular, I am interested in the application of advanced theorem proving techniques to the area of security, privacy, optimizing compilers, and policy analysis. I am also interested in ethical and secure data sharing across borders.

Affiliation: UIC

Personal website: http://cs.uic.edu/~lenore


VMCAI Treasurer & Conference Manager in Organizing Committee
Committee Member in Program Committee
Committee Member in Steering Committee
Show activities from other conferences

POPL 2016-profile
View general profile