DO, Minh Canh
Assistant Professor
Information Science, Computing Science
Ph.D. in Information Science Japan Advanced Institute of Science and Technology
2023 - : Japan Advanced Institute of Science and Technology , School of Information Science , Assistant Professor
Software
Formal Specification, Formal Verification, Model Checking, Testing, and Parallelization
Parallel Maude-NPA for Cryptographic Protocol Analysis Canh Minh Do, Adrián Riesco, Santiago Escobar, Kazuhiro Ogata
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13252 LNCS, 253-273, 2022
・ Outstanding student award , Japan Advanced Institute of Science and Technology , 2022