Canh Minh Do

Đỗ Minh Canh

Assistant Professor, School of Information Science, Japan Advanced Institute of Science and Technology · Nomi, Japan

Computer & Information SciencesTenure-line

Edit this entry

Research areas

Formal Methods
Model Checking
Quantum Computing
Software Verification

Education and training

PhD: Japan Advanced Institute of Science and Technology
MS: Japan Advanced Institute of Science and Technology