معرفی
Parosh Aziz Abdulla is a Chaired Professor at the Department of Information Technology, Uppsala University, Sweden. His research focuses on algorithmic program verification, concurrency, distributed systems, and model checking, with applications to weak memory models like x86-TSO and C11.
۰مقاله منتشرشده
Parosh Aziz Abdulla در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Parosh Aziz AbdullaNational and Kapodistrian University of Athens · استاد- PParosh AbdullaUppsala University · استاد
- BBengt JonssonSchloss Dagstuhl - Leibniz Center for Informatics · پژوهشگر
Mohamed Faouzi AtigUppsala University · استاد
Mohamed Faouzi AtigNational and Kapodistrian University of Athens · استاد
Mohamed Faouzi AtigMax Planck Institute for Software Systems · استاد