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: see webpage

Office: Room 412.54