Tuan Phong Ngo
Researcher at Department of Information Technology, Division of Computer Systems
- Email:
- tuan-phong.ngo[AT-sign]it.uu.se
- Visiting address:
- hus 10, Lägerhyddsvägen 1
- 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.
