Canh Minh Do

Assistant Professor, JAIST, Japan

bio-photo.png

Hi, I am 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, model checking, theorem proving, 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 committee of FAVPQC 2023, WRLA 2024, and ICFEM 2024.

news

Sep 19, 2024 I am honored to give a talk on Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way for an invited paper at IPSJ/SIGSE Software Engineering Symposium (SES2024) (slides).
Sep 10, 2024 Our application for Kakenhi Joint International Research (B) FY2024 was accepted. :sparkles:
Sep 9, 2024 Our paper about A Tableau-based Approach to Model Checking Linear Temporal Properties has been accepted for publication at the 25th International Conference on Formal Engineering Methods (ICFEM 2024). :tada:
Jul 2, 2024 I am honored to give a talk on Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic at La Trobe-Kyushu Joint Seminar on Mathematics for Industry (slides).
Jun 27, 2024 Our application for JAIST Research Grant FY2024 for Fundamental Research was accepted. :sparkles: