ETAPS 2019 (series) / 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.
Country:United Kingdom
Affiliation:University of Illinois at Chicago
Personal website: https://www.cs.uic.edu/~lenore/
Contributions
ETAPS 2019-profile
View general profile
View general profile