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
Telephone:
+4618-471 3014
Visiting address:
Room POL ITC 1453 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

My courses

Biography

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).

Research

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).

I am looking for software engineer job opportunities in Sweden. If you are hiring a software engineer who can work with C/C++/C#/Java/Python and has a strong background in Computer science, especially in Concurrent programs, Memory models, Formal methods, Verification, and Testing, this person is me!

Publications

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

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