Canh Minh
Senior Lecturer at Japan Advanced Institute of Science and Technology
Ishikawa Prefecture, Japan
Summary
👤
Senior🎓
Top SchoolCanh Minh is a Senior Lecturer and Ph.D. in Information Science with 10 years of experience bridging software engineering and formal methods, specializing in formal specification, model checking, and theorem proving for concurrent, distributed, and emerging quantum systems. Based at Japan Advanced Institute of Science and Technology, he has progressed from postdoc to assistant professor and now senior lecturer while maintaining industry roots as a former senior software engineer. His work synthesizes rigorous academic research with practical tooling, aiming to make formal verification techniques more applicable to real-world and quantum technologies. Known for tackling concurrency and distribution challenges, he combines deep theoretical expertise with hands-on software development experience gained in Japan and Vietnam.
10 years of coding experience
8 years of employment as a software developer
Diploma in Information System Management (DIMS), Diploma in Information System Management (DIMS) at Aptech VietnamMaster's degree, Computer Science, Master's degree, Computer Science at VNU University of Engineering and TechnologyDoctor of Philosophy - PhD, Information Science, Doctor of Philosophy - PhD, Information Science at Japan Advanced Institute of Science and TechnologyBachelor's degree, Computer Science, Bachelor's degree, Computer Science at National Economics University (NEU) Vietnam
Vietnamese, English, Japanese
Github Skills (14)
visual-studio-code-extension8
cs231n6
equivalence6
vscode5
vscode-extension5
verification4
quantum-computing4
convolutional-neural-networks3
visual-recognition3
python3
circuit3
deep-learning2
qiskit1
quantum-algorithms1
Programming languages (3)
Github contributions (5)
canhminhdo/DQL
Apr 2023 - Jan 2025
Dynamic Quantum Logic to Verify Quantum Programs in Maude
Contributions:2 PRs, 70 pushes, 11 branches in 1 year 9 months
yatiphyo/DCA2MC
Jul 2020 - Mar 2025
Contributions:80 pushes, 24 branches, 11 tags in 4 years 8 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.