RISC-V Summit is part of the Informa Tech Division of Informa PLC

This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them. Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 3099067.


Rafal Kolanski
Leader, proof engineering team at Data61


Raf was a member of the Trustworthy Systems (TS) group that built and formally verified seL4 from the beginning. After completing his PhD at UNSW in 2011 he spent 2 years as a postdoc at Purdue University, until he rejoined Trustworthy Systems as a proof engineer. He now leads the proof engineering team of TS, specifically the work on verifying the RISC-V version of seL4.