Researcher

Fields of Research (FoR)

Software and application security, Mathematical logic, set theory, lattices and universal algebra, Computational logic and formal languages, Evolutionary computation

Biography

Current research activities

 

 

Other work: see website


My Qualifications

Current research activities

 

 

Other work: see website


My Qualifications


My Awards

  • 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

View less

Location

Level 3, Building K17

Publications

by Dr Zoltan Kocsis

ORCID as entered in ROS