I currently perform research on the formal semantics of planning formalisms, such as PDDL and GOLOG.
I currently perform research on the formal semantics of planning formalisms, such as PDDL and GOLOG under the supervision of Dr Mohammad Abdulaziz.
Regular Expressions, Lexing, Derivatives
A studentship for the duration of my studies as postgraduate research student at King's College London.
Some things that I do can be found on GitHub.