Mr Zoltan Kocsis

Adjunct Lecturer

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
- Group theory
- Heyting algebras

Other work: see website

Location

Level 3, Building K17

Journal articles | 2024

Bumpus BM; Kocsis ZA, 2024, 'DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS', Journal of Symbolic Logic, http://dx.doi.org/10.1017/jsl.2024.2

Journal articles | 2023

Bumpus BM; Kocsis ZA, 2023, 'Spined categories: Generalizing tree-width beyond graphs', European Journal of Combinatorics, 114, http://dx.doi.org/10.1016/j.ejc.2023.103794

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