MENU

Chinawat Isradisaikul, Ph.D.Lecturer



 

Personal PageScopus publications

 

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: https://chinawat.youcanbook.me/

Office: Room 412.54