Registered user since Tue 30 Dec 2014
Name: Tuan Phong Ngo
Bio: I am a Ph.D. student in Computer Science at Uppsala University, Sweden. My supervisors are Dr Mohamed Faouzi Atig, Pr Parosh Aziz Abdulla, and Dr Philipp Rümmer. I am a member of the Algorithmic Program Verification group and UPMARC center, Uppsala University.
Affiliation: Uppsala University
Personal website: http://www.it.uu.se/katalog/tuang296
Research interests: Formal methods, concurrent program verification, weak memory models
|SPLASH 2018||Author of Optimal Stateless Model Checking under the Release-Acquire Semantics within the OOPSLA-track|
|Show activities from other conferences|