Canh Minh Do
Assistant Professor, JAIST, Japan
Hi, I’m Canh, an assistant professor at the School of Information Science, Japan Advanced Institute of Science and Technology (JAIST). My primary research interests are in the areas of formal methods, such as formal specification, interactive theorem proving and model checking, and tools supporting formal methods. My research focuses on formal specification and verification of concurrent/distributed systems for both conventional and emerging technologies. I obtained my Ph.D. and M.S. degrees in Information Science from JAIST, advised by Prof. Kazuhiro Ogata.
Research interests: Computer Science, Software Engineering, Formal Methods.
Scientific activities: Member of the program comittee of FAVPQC 2023, WRLA 2024, and ICFEM 2024.
news
| Feb 29, 2024 | Our application for Kakenhi Early-Career Scientists 2024 was accepted.  |
|---|---|
| Oct 5, 2023 | This website was published. |
| Aug 31, 2023 | Our application for Kakenhi Research Activity Start-up 2023 was accepted. |
| Jul 5, 2023 | Our application for JAIST Research Grant for Fundamental Research was accepted. |
| Apr 1, 2023 | I have started working as an Asistant Professor at JAIST. |