Tuan Phong Ngo
Forskare vid Institutionen för informationsteknologi, Datorteknik
- hus 10, Lägerhyddsvägen 1
- Box 337
751 05 UPPSALA
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.