Tuan Phong Ngo
forskare vid Institutionen för informationsteknologi, Datorteknik
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
Finns även på
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 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.
Kontakta katalogansvarig vid den aktuella organisationen (institution eller motsv.) för att rätta ev. felaktigheter.