Write a Blog >>
Sun 20 - Fri 25 October 2019 Athens, Greece
Tuan Phong Ngo

Registered user since Tue 30 Dec 2014

Name:Tuan Phong Ngo

I am a software engineer at IAR Systems where I have been developing a symbolic model checker for UML models. Before, I was a Ph.D. student in Software Verification at Uppsala University, Sweden. My supervisors are Dr Mohamed Faouzi Atig, Pr Parosh Aziz Abdulla, and Dr Philipp Rümmer. I was also a member of the Algorithmic Program Verification group and UPMARC center, Uppsala University.

Affiliation:Uppsala University, Sweden
Research interests:Software model checking, Sofware verification, concurrent programs, weak memory models


SPLASH 2019 Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency
Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency
Show activities from other conferences

SPLASH 2019-profile
View general profile