Profile
General Information
Name | Canh Minh Do |
Katakana | カン ミン ド |
canhdo[at]jaist.ac.jp | |
Phone | (+81) 0761-51-1308 |
Languages | Vietnamese (native), English (proficiency), Japanese (beginner) |
Research Area
- My primary research interests are in the areas of formal methods, such as formal specification, interactive theorem proving and model checking, tools supporting formal methods. My research focuses on formal specification and formal verification of concurrent/distributed systems for both conventional and emerging technologies.
Education
-
Oct 2019 - Sept 2022 Ph.D. in Information Science
Japan Advanced Institute of Science and Technology, Japan - Advised by Prof. Kazuhiro Ogata
- Thesis: Parallelization for Formal Verification Tools
-
Oct 2018 - Sept 2019 M.Sc. in Information Science
Japan Advanced Institute of Science and Technology, Japan - Advised by Prof. Kazuhiro Ogata
- Thesis: An Environment for Testing Concurrent Programs Based on Rewrite-theory Specifications
-
Oct 2011 - Dec 2012 Diploma in Information System Management (DISM)
Vietnam Aptech -
Oct 2009 - Sept 2013 B.S. in Computer Science
National Economic University, Vietnam
Working Experience
-
Apr 2023 - Present Assistant Professor
Japan Advanced Institute of Science and Technology -
Oct 2022 - Mar 2023 Postdoctoral Researcher
Japan Advanced Institute of Science and Technology -
Mar 2015 - Sept 2018 Senior Software Engineer
Techacademy Vietnam -
Sept 2013 - Jul 2014 Software Engineer
Dotoh Solutions Vietnam -
Nov 2012 - Jun 2013 Internship & Software Engineer
Langmaster Vietnam
Research Grants
-
April 2024 - Mar 2027 KAKENHI Early-Career Scientists
Japan Advanced Institute of Science and Technology - Project: Automated Formal Verification of Quantum Protocols for the Quantum Era
- Principal Investigator (PI)
- Budgets 2,730,000¥ (Direct 2,100,000¥ and Indirect 630,000¥)
- JSPS KAKENHI Grant Number JP24K20757
-
July 2023 - Mar 2025 KAKENHI Research Activity Start-up 2023
Japan Advanced Institute of Science and Technology - Project: A Tableau-based Approach to Model Checking Temporal Properties for Large-scale Systems
- Principal Investigator (PI)
- Budgets 2,860,000¥ (Direct 2,200,000¥ and Indirect 660,000¥)
- JSPS KAKENHI Grant Number JP23K19959
-
April 2023 - Mar 2024 JAIST Research Grant for Fundamental Research
Japan Advanced Institute of Science and Technology - Project: An Automated Approach to Verify Quantum Programs Using Dynamic Quantum Logic
- Principal Investigator (PI)
- Budgets 500,000¥
Honors and Awards
-
2022 - Outstanding student award from JAIST for completing the doctoral program with excellent academic performance
-
2013 - Top graduating student award from Hanoi communist youth union
- Highest GPA gradutating student 2009-2013 in computer science major at National Economic Univeristy