Tuan Phong Ngo

پژوهشگر · Formal methods

Max Planck Institute for Software Systems

Germany

معرفی

Tuan Phong Ngo is a Researcher in Computer Science at Uppsala University, Sweden, affiliated with the Department of Information Technology under the Disciplinary Domain of Science and Technology. He specializes in formal methods and software verification.

حوزه‌های پژوهشی

Formal methods Concurrent program verification Weak memory models Software model checking Software verification

۰مقاله منتشرشده

Tuan Phong Ngo در سایت‌های دیگر

جست‌وجوهای مرتبط

شاید این‌ها هم برایتان مناسب باشند

Phong NgoAustralian National University (ANU) · دانشیار
Tuan-Phong NguyenMax Planck Institute for Informatics · پژوهشگر
Sarbojit DasUppsala University · پژوهشگر
Lars-Henrik ErikssonUppsala University · مدرس ارشد
Mohamed Faouzi AtigMax Planck Institute for Software Systems · استاد
B
Bengt JonssonSchloss Dagstuhl - Leibniz Center for Informatics · پژوهشگر