Tuan Phong Ngo

Forskare vid Institutionen för informationsteknologi, Datorteknik

E-post:
tuan-phong.ngo[AT-tecken]it.uu.se
Besöksadress:
hus 10, Lägerhyddsvägen 1
Postadress:
Box 337
751 05 UPPSALA

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

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

Detta stycke finns inte på svenska, därför visas den engelska versionen.

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

Kontakta katalogansvarig vid den aktuella organisationen (institution eller motsv.) för att rätta ev. felaktigheter.

Tuan Phong Ngo
Senast uppdaterad: 2021-03-09