Euan Ong

Euan Ong is a final-year undergraduate at the University of Cambridge, studying Computer Science. His ambition is to develop powerful, yet safe and interpretable abstract reasoners, whose internal state and behaviour remain transparent to the end user. To this end, he is particularly interested in exploring how the mathematical tool-kits we use to understand and structure programs ‒ such as formal methods, types and category theory ‒ can inspire new ways to both reverse-engineer existing neural networks, and build scalable neurosymbolic systems. You can read more about his research on his website.