About me
Dr Ihor Kuz is an operating system engineer at Kry10, helping develop the Kry10 OS and Platform. Ihor has previous experience leading the team developing the seL4 microkernel, and has been involved with seL4 for as long as it’s been around. Ihor is a member of the seL4 Foundation's technical steering committee (TSC). In the past he has been an associate professor at UNSW in Australia and has taught distributed systems and Erlang there for many years.