Tuan Phong Ngo

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.

Country: Vietnam

Affiliation: Uppsala University

Personal website: http://www.it.uu.se/katalog/tuang296

Research interests: Formal methods, concurrent program verification, weak memory models

Contributions

SPLASH 2018Author of Optimal Stateless Model Checking under the Release-Acquire Semantics within the OOPSLA-track
Author of Optimal Stateless Model Checking under the Release-Acquire Semantics within the Artifact Evaluation-track
Show activities from other conferences

Using general profile