อ.ดร.ชินวัตร อิศราดิสัยกุล

Chinawat Isradisaikul, Ph.D.Lecturer


Personal PageScopus publications


Research interests:

- Compiler technology

- Programming language design and implementation

- Proof assistants



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

Office: Room 412.54