Mr Zoltan Kocsis

Mr Zoltan Kocsis

Adjunct Lecturer
Computer Science and Engineering

Current research activities



Other work: see website

Level 3, Building K17
  • Journal articles | 2024
    Bumpus BM; Kocsis ZA, 2024, 'DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS', Journal of Symbolic Logic,
    Journal articles | 2023
    Bumpus BM; Kocsis ZA, 2023, 'Spined categories: Generalizing tree-width beyond graphs', European Journal of Combinatorics, 114,

  • 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