Skip to main content
Department of Information Technology

Tuan Phong Ngo

researcher at Department of Information Technology, Division of Computer Systems

Email:
tuan-phong.ngo[AT-sign]it.uu.se
Visiting address:
ITC, Lägerhyddsvägen 2, hus 1
752 37 UPPSALA
Postal address:
Box 337
751 05 UPPSALA

Short presentation

I am a researcher at the Department of Information Technology, Uppsala University where I am working with Prof. Bengt Jonsson. My research topics are program verification, model checking, and weak memory models. In 2019, I got a Ph.D degree in Computer Science at Uppsala University. My supervisors were Dr. Mohamed Faouzi Atig, Prof. Parosh Aziz Abdulla, and Dr. Philipp Rümmer.

My website: https://phongngo.github.io/

Keywords: testing weak memory model concurrent programs model checking software verification

I am a researcher at the Department of Information Technology, Uppsala University where I am working with Prof. Bengt Jonsson. My research topics are program verification, model checking, and weak memory models. In 2019, I got a Ph.D degree in Computer Science at Uppsala University. My supervisors were Dr. Mohamed Faouzi Atig, Prof. Parosh Aziz Abdulla, and Dr. Philipp Rümmer.

I am a member of the Algorithmic Program Verification group and Uppsala Programming for Multicore Architectures Research Center (UPMARC).

Before, I was a master student at Uppsala University (2011-2013), and a teaching assistant at Hanoi University of Science and Technology. I studied B.Sc and M.Sc in Computer Science at Hanoi University of Science and Technology, Vietnam (2004-2009).

I have been working on the development of model checking algorithms and implementation of tools for ensuring the correctness of concurrent programs running under relaxed memory models (such as Intel x86-TSO or IBM POWER), relaxed cache coherence protocols, or programming languages (C/C++11).

Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.

Tuan Phong Ngo
Updated  2018-05-09 10:59:54 by Tuan Phong Ngo.