Profile

General Information

Name Canh Minh Do
Katakana カン　ミン　ド
Japanese 甘味堂
Email 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, model checking, theorem proving, and tools supporting formal methods. My research focuses on formal specification and formal verification of concurrent/distributed systems for both conventional and emerging technologies.

Education

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 - Sep 2018
    Senior Software Engineer
    Techacademy Vietnam
  • Sep 2013 - Jul 2014
    Software Engineer
    Dotoh Software Solutions Vietnam
  • Nov 2012 - Jun 2013
    Internship & Software Engineer
    Langmaster Vietnam

Research Experience

  • Sep 2024 - Oct 2024
    Visiting Researcher
    Universidad Politécnica de Valencia (UPV)
    • Research on formal specification and verification of post-quantum cryptographic protocols, variant-based unification, and narrowing
    • Advised by Prof. Santiago Escobar
  • Oct 2019 - Sep 2022
    Laboratory Assistant
    • Ogata Laboratory, JAIST, Japan
    • Research on topics related to parallelization of formal verification tools
  • Oct 2018 - Sep 2019
    Laboratory Assistant
    • Ogata Laboratory, JAIST, Japan
    • Research on specification-based testing for concurrent programs

Research Grants

  • Sep 2024 - Mar 2028
    KAKENHI Joint International Research (B) for FY2024
    Japan Advanced Institute of Science and Technology
    • Project: Logical Foundation and Formal Verification of Quantum-resistant Security Protocols
    • Co-Investigator (Co-I) working with Prof. Kazuhiro Ogata (PI)
    • Budget: ¥20,930,000 (Direct ¥16,100,000 and Indirect ¥4,830,000)
    • JSPS KAKENHI Grant Number JP24KK0185
  • Apr 2024 - Mar 2025
    JAIST Research Grant FY2024 for Fundamental Research
    Japan Advanced Institute of Science and Technology
    • Project: Equivalence Checking of Quantum Circuits Based on Dirac Notation
    • Principal Investigator (PI)
    • Budget: ¥600,000
  • Apr 2024 - Mar 2027
    KAKENHI Early-Career Scientists for FY2024
    Japan Advanced Institute of Science and Technology
    • Project: Automated Formal Verification of Quantum Protocols for the Quantum Era
    • Principal Investigator (PI)
    • Budget: ¥2,730,000 (Direct ¥2,100,000 and Indirect ¥630,000)
    • JSPS KAKENHI Grant Number JP24K20757
  • Jul 2023 - Mar 2025
    KAKENHI Research Activity Start-up for FY2023
    Japan Advanced Institute of Science and Technology
    • Project: A Tableau-based Approach to Model Checking Temporal Properties for Large-scale Systems
    • Principal Investigator (PI)
    • Budget: ¥2,860,000 (Direct ¥2,200,000 and Indirect ¥660,000)
    • JSPS KAKENHI Grant Number JP23K19959
  • Apr 2023 - Mar 2024
    JAIST Research Grant FY2023 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)
    • Budget: ¥500,000

Honors and Awards

  • May 2024
    • Best Paper/Presentation Award for Young Researcher at the 15th International Workshop on Rewriting Logic and Its Applications (WRLA 2024)
  • Sep 2022
    • Outstanding Student Award from JAIST for completing the doctoral program with excellent academic performance
  • Oct 2013
    • Top Graduating Student Award from Hanoi City Youth Union
    • Highest GPA Gradutating Student in Computer Science at National Economic Univeristy