Skip to content

Andrey Yao

I am a second year CS PhD student at the University of Wisconsin-Madison working with Prof. Ethan Cecchetti. I am passionate about the theory behind programming languages, especially when applied to distributed computation and security. My current project focuses on designing novel language semantics for choreographic programming, an emerging paradigm for programming parallel processes with language-level guarantees like deadlock-freedom. I am also very interested in denotational semantics of programming languages using concepts from category theory and topology.

I earned my Bachelor’s degree in computer science and mathematics at Cornell University, where I did programming languages research with Prof. Alexandra Silva.

News


Blog