Andrey Yao
I am a first year CS PhD student at the University of Wisconsin-Madison. Programming languages is my main area of interest, and I am involved in the MadPL group. My current work resolves around ways of preventing code from being run. No, really, type systems ensures correct and secure code by rejecting large classes of mistakes and attacks. This is especially important when dealing with complex programs, such as distributed systems. I also like to study the behavior of programming languages by considering their denotational semantics.
Prior to starting my PhD, I earned my Bachelor’s degree in computer science and mathematics at Cornell University.
News
The paper Detection of small holes by the scale-invariant robust density-aware distance (RDAD) filtration, which I contributed to as an undergrad, has just been published!
I started my CS PhD at UW-Madison’s MadPL!
I attended the Oregon Programming Languages Summer School (OPLSS)!
Recent Posts
De Bruijn indices for recursive functions
Published:Nameless representations for recursive functions
Categorical Semantics of Simply Typed Lambda Calculus
Published:The Curry-Howard-Lambek correspondence