OR

Browse By

Verifying Concurrent Data Structures for Multicore seL4 (DSTG grant administered by ANU) (2021–2024)

Grant type:
Australian National University
Researchers:

  • Emeritus Professor Ian Hayes

    Emeritus Professor
    School of Electrical Engineering and Computer Science
    Faculty of Engineering, Architecture and Information Technology

  • Dr Larissa Meinicke

    Lecturer
    School of Electrical Engineering and Computer Science
    Faculty of Engineering, Architecture and Information Technology
Funded by:
Australian National University