Welcome

Hello people of the Internet. You have managed to find the webpage of Lucas Silver, a PhD student at the University of Pennsylvania. I work with Steve Zdancewic on research in Programming Languages. In this role, I study how we can build better tools to give high assurances of program correctness. I work closely with other members of the discussion group PLClub to expand our understanding of the science of programming languages.

Publications


Projects


Research Interests