Trustworthy Systems

Isitha Subasinghe
Research Assistant

Research Interests

Isitha's research interests include Operating Systems, Distributed Systems and Formal Verification. He presently works on verifying OS code using SMT solvers

Contact Details

More contact information is available at the Contact page.

Photo of Isitha Subasinghe

Publication List




Trustworthy Systems Group Papers


Abstract PDF Trudy Weibel, Zoltan Kocsis, Mathieu Paturel, Robert Sison, Isitha Subasinghe and Gernot Heiser
Verifying the seL4 Microkit, June, 2024


Abstract PDF Mathieu Paturel, Isitha Subasinghe and Gernot Heiser
First steps in verifying the seL4 Core Platform
Asia-Pacific Workshop on Systems (APSys), Seoul, KR, August, 2023