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.
Projects
Current |