Office: Room 412.54

 

Webpage: https://chinawat.github.io/

 

Research interests:

 

- Compiler technology

- Programming language design and implementation

- Proof assistants

 

Education:

 

- Bachelor of Science in Engineering (computer science and engineering; mathematics), University of Pennsylvania, Philadelphia, PA, United States, 2009

- Doctor of Philosophy (computer science), Cornell University, Ithaca, NY, United States, 2017

 

Office hours: see webpage