Dr Zoltan Kocsis
Research Associate

Dr Zoltan Kocsis

Engineering
Computer Science and Engineering

Current research activities

 

 

Other work: see website

Location
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