I'm a Master's student at Duke University in the Department of Computer Science. I'm interested in leveraging formal methods from programming languages to build provably secure software systems that are practical to use. My current research is in differential privacy for SQL queries. I am advised by Danfeng Zhang.
Andrew Cascio
