Jonathan King received the master's degree in computer systems engineering from the University of Auckland (UoA), New Zealand, in 2021. He is currently employed as an autopilot engineer for Navico (R&D Auckland). His research and work focuses on simulation, machine learning, control systems and formal analysis.