Department of Information Technology

Tuan Phong Ngo

doktorand vid Institutionen för informationsteknologi, Datorteknik

E-post:
tuan-phong.ngo[AT-tecken]it.uu.se
Telefon:
018-471 3014
Besöksadress:
Rum POL ITC 1453 ITC, Lägerhyddsv. 2, hus 1
Postadress:
Box 337
751 05 UPPSALA

Kort presentation

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

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 am looking for research collaborations and internships related to modelling hardware or software systems, and verification or testing them.

Nyckelord: phd student weak memory model concurrent programs correction verification cache coherence protocols

Mina kurser

Biografi

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

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

Forskning

I am working on development of algorithms and implementation of tools for ensuring correctness of concurrent (multi-threaded) programs running on top of weak memory models or relaxed-cache-coherence protocols. 

I have strong background in semantics of  weak memory models and relaxed-cache-coherence protocols: both operational and axiomatic models.

My tools and techniques explore novel ways in specifying, verifying, and testing concurrent programs under these systems in order to make them more robust and correct.

Publikationer

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

Updated  2016-10-28 14:35:24 by Tuan Phong Ngo.