Ihor Kuz

Operating system engineer at Kry10 and seL4 TSC member

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. He is also an associate professor at UNSW in Australia and has taught distributed systems and Erlang there for many years.