David Deng
PROgram52bc
Ph.D. Candidate in Computer Science at Purdue University. I design and prove safety properties about novel programming languages and type systems.
Purdue University West Lafayette, IN
Guannan Wei
Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers
Tufts University