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
Some things that I do can be found on GitHub.