Department of Information Technology

Tuan Phong Ngo

doctoral/PhD student 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. 2, hus 1

Postal address:
Box 337
751 05 UPPSALA

Short presentation

I am a Ph.D. student in Computer Science at Uppsala University. My supervisors are Dr. Mohamed Faouzi Atig, Prof. Parosh Aziz Abdulla, and Dr. Philipp Rümmer.

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

Keywords: software engineering testing weak memory model concurrent programs verification

My courses

Biography

I am a Ph.D. student in Computer Science at Uppsala University, Sweden (2014-now). My supervisors are 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 bachelor in Hanoi University of Science and Technology, Vietnam (2004-2009).

Research

I have been working on the development of algorithms and implementation of tools for ensuring correctness of concurrent programs running on top of relaxed memory models (such as Intel x86-TSO, IBM POWER, and ARM), relaxed cache coherence protocols (such as VIPS and SISD), or programming languages (C11, C++11). I have a strong background and experience in modeling the semantics of relaxed systems: both the operational and axiomatic approaches. I have developed algorithms and tools for exploring novel ways of specifying, verifying, and systematic testing concurrent programs. The goal is to make the programs more robust and correct.

I am looking for jobs, research collaborations and internships, especially related to
the fields of modeling hardware and software systems, modeling communication protocols and distributed systems, verification, and systematic testing.

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.