ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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:


ETAPS 2019Tutorials in Executive Board
Author of ETAPS Steering committee meeting within the Social-track
Show activities from other conferences

ETAPS 2019-profile
View general profile