David Deng

[email protected]

Purdue University West Lafayette, IN Ph.D. Candidate in Computer Science at Purdue University. I design and prove safety properties about novel programming languages and type systems.