I'm currently a senior software engineer in the language and compiler team at RelationalAI, where we build an awesome relational knowledge graph management system. The RelationalAI system is built on foundational database techniques including clever query optimization and super efficient worst-case optimal joins. On the language and compiler team, we develop Rel, a concise yet expressive declarative query and modelling language based on Datalog.
I graduated in 2022 from the University of Sydney with a PhD in programming languages. My research work focused on the declarative logic programming language, Datalog, culminating in my thesis Provenance, Incremental Evaluation, and Debugging in Datalog. As part of my research, I was a major contributor to the Soufflé Datalog engine, adding important debugging and incremental evaluation features.
Away from the computer, you can usually find me playing tennis, ultimate frisbee, doing (attempting) pottery, or behind a camera trying to find cool things to take pictures of.