Summer 2019
Andres Noetzli — Stanford University
Optimizations for improving the performance of "who can access my resource" analyses of AWS Identity and Access Management (IAM) policies.
004Mentorship
Past research interns.
I occasionally have the chance to work with summer interns. If that sounds like you, get in touch.
AWS
Fall 2018
Bernhard Gleiss — TU Wien
Optimizations for improving the scalability of Tiros, a service for verifying reachability properties of EC2 deployments.
Barefoot Networks
Summer 2017
William Hallahan — Yale University
Practical verification of P4 programs — the work that became p4v.
Samsung Research
Summer 2016
Julie Newcomb — University of Washington
Design and analysis of end-user automation for the Internet of Things.
Summer 2015
Calvin Loncaric — University of Washington
A framework for improved error explanation in type inference.
Get in touch
If you're a graduate student interested in programming languages, type systems, formal methods, network verification, or the meeting point of AI and formal methods — or in something adjacent that could borrow from those ideas — I'd love to hear from you. cole@schlesinger.tech.