Casual Academic
Mr Zoltan Kocsis
-
PhD in Mathematics (2016-2019)
- Thesis: "Development of Group Theory in the Language of Internal Set Theory"
- The University of Manchester, Oxford Rd, Manchester M13 9PL, UK
Engineering
Computer Science and Engineering
Current research activities
-
Logical techniques for the verification of the seL4 Core Platform
- Project description
- Gernot's talk on Core Platform abstractions
-
Degree of satisfiability in algebraic structures
Other work: see website
Location
Level 3, Building K17
- Publications
- Media
- Grants
- Awards
- Research Activities
- Engagement
- Teaching and Supervision
-
CSIRO SCS Engineering and Technology award, for Translation Validation of seL4 on the RISC-V Architecture, May 2021, Sydney, Australia
-
IBM Prize, for Results on Degree of Satisfiability, MRSC 2018, September 2018, Manchester, UK