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 Security & Privacy Software Engineering

Past or current institution affiliations