Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
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 2019Author of Optimal Stateless Model Checking for Read-from Equivalence under Sequential Consistency within the OOPSLA-track
Show activities from other conferences

Using general profile