Ihor Kuz Senior OS Engineer at Kry10 Conjoint Associate Professor at CSE UNSW Linked in: ihorkuz GitHub: ikuz

Personal

Work/Research

I am a Senior OS Engineer at Kry10 where I help to develop a secure, reliable, and usable platform based on seL4. I work with awesome colleagues on developing OS components, drivers, Elixir and BEAM support, and development tools.

I am also a Conjoint Associate Professor at UNSW.

Previously I worked as a Principal Research Engineer at the Trustworthy Systems group (variously at NICTA, CSIRO's Data61, and UNSW) from 2003 to 2021. There I was responsible for leading the seL4 engineering team and contributing to the development of seL4-based systems, in particular CAmkES-based systems.

Before starting my work with the Trustworthy Systems group, I was a PhD student in the Netherlands, where I worked on research related to the Globe wide-area distributed system project.

In 2010 I spent 9 months visiting the Systems group at ETH Zurich, working on the Barrelfish project.

Teaching

Currently I teach guest (Advanced) OS lectures and occasionally supervise students at UNSW. In the past I was the Lecturer in Charge for the Distributed Systems course at UNSW and supervised various undergraduate and PhD students.

Student Supervision

Former PhD students who I have (co-)supervised:

• Matthew Fernandez
• Paul Rimba
• Leonid Ryzhyk
• Nicholas Fitzroy-Dale
• Daniel Potts

Publications

Education and Work Experience

Education

• Ph.D.: TU Delft, Delft, the Netherlands (the Ph.D. work was done jointly between the TU Delft and the Vrije Universiteit, Amsterdam), supervised by Maarten van Steen and Henk Sips.
• Masters Degree: Vrije Universiteit, Amsterdam, the Netherlands
• High School: European School, Bergen, the Netherlands

Other Work

• Vrije Universiteit: scientific programmer
• Smarthaven: founder and developer
• Furore Informatica: programmer