Trustworthy Systems

Zoltan Kocsis
Research Associate

Research Interests

Zoltan, a non-standard analyst by training, works on the correctness proof for the seL4 kernel.

Contact Details

Email:Z.Kocsis@unsw.edu.au

More contact information is available at the Contact page.

Photo of Zoltan Kocsis

Projects

Current