Mr Zoltan Kocsis
Adjunct Lecturer

Mr Zoltan Kocsis

Computer Science and Engineering

Current research activities



Other work: see website

Level 3, Building K17

  • 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