Truc has earned BEng degree from the University of Southampton. He is now a PhD student working on model checking and program verification. While his work focuses on applying efficient techniques to verify concurrent programs, his non-work interests range widely, everything from quantum computing to cutting-edge technology. His CV can be found here.
MathPen is a free, W3C-compliant web-based handwriting recognition system designed for mathematics education.
Developed a tool to verify security properties of administrative role based access control policies.
University of Southampton
Full studentship for studying PhD at the University of Southampton.