SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Steve Zdancewic

Registered user since Tue 9 Jun 2015

Name: Steve Zdancewic

Bio: I am an Associate Professor in the Department of Computer and Information Science at the University of Pennsylvania, PA, USA.

Research Interests: I study programming languages and computer security. Most recently, my work has focused on two research directions: (1) memory safety of low-level software, and (2) Coq verification of LLVM program transformations. I have also spent a lot of time thinking about language-based enforcement of information-flow policies, understanding dynamic security policies, and authorization logic. I am also interested in secure concurrent and distributed computing, functional programming languages, type theory, linear and modal logics, theorem proving and mechanized metatheory.

Affiliation: University of Pennsylvania

Personal website: http://www.cis.upenn.edu/~stevez/

SPLASH 2014 Activities

SPLASH 2014-profile
View general profile