Tuan Phong Ngo

Registered user since Tue 30 Dec 2014

Name:Tuan Phong Ngo

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
Research interests:Formal methods, concurrent program verification, weak memory models


Show activities from other conferences

SPLASH 2018-profile
View general profile