Skip to main content

Zoltan Kocsis
Proof Engineer

Research Interests

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

Contact Details

Email:Zoltan.Kocsis@data61.csiro.au

More contact information is available at the Contact page.

Photo of Zoltan Kocsis
Served by Apache on Linux on seL4.