Zoltan Kocsis
Adjunct Lecturer
Research Interests
Zoltan, a non-standard analyst by training, working on the correctness proof seL4-based OS code.
Contact Details
| Email: | Z.Kocsis@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |
Past |
Publications
Trustworthy Systems Group Papers
2024
|
 |
Trudy Weibel, Zoltan Kocsis, Mathieu Paturel, Robert Sison, Isitha Subasinghe and Gernot Heiser Verifying the seL4 Microkit https://trustworthy.systems/publications/papers/Weibel_KPSSH_24.pdf, June, 2024 |