I like logic and interactive theorem proving because I like to really understand something from the basics. It also feels good to be certain of things, even after you have forgotten the details of how you came to that conclusion.
This lead me to my current research area and the topic formal reasoning about GOLOG programs. It combines formal logic, programming language semantics, formal verification, and AI planning.
Researching formal reasoning about GOLOG programs under the supervision of Dr Mohammad Abdulaziz . GOLOG is a high-level agent modelling language meant to capture human intuition and common-sense reasoning in dynamic situations. The research aims to formalise GOLOG's semantics using techniques applied to programming languages as well as the situation calculus within the Isabelle/HOL theorem prover. It combines various applications of logic, from philosophy to AI.
Regular Expressions, Lexing, Derivatives
A studentship for the duration of my studies as postgraduate research student at King's College London.
I did a few internships from summer 2021 to 2022.
The source code for this site can be found on GitHub.