Canh Minh Do
Summary
I am a Ph.D. in computer science who is interested in the areas of formal methods, such as formal specification, interactive theorem proving and model checking, and tools supporting formal methods. My research focuses on formal specification and verification of concurrent/distributed systems for both conventional and emerging technologies.
Cryptography Quantum Computing Security & Privacy Software Engineering Theory & Formal Methods