About
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.
0Publications listed
Find Parosh Aziz Abdulla elsewhere
Related Searches
You Might Also Like
Parosh Aziz AbdullaNational and Kapodistrian University of Athens · Professor- PParosh AbdullaUppsala University · Professor
- BBengt JonssonSchloss Dagstuhl - Leibniz Center for Informatics · Researcher
Mohamed Faouzi AtigUppsala University · Professor
Mohamed Faouzi AtigNational and Kapodistrian University of Athens · Professor
Mohamed Faouzi AtigMax Planck Institute for Software Systems · Professor