David Wang

Contact

About

I currently perform research on the formal semantics of planning formalisms, such as PDDL and GOLOG.

Research Experience

PhD research in Computer Science

October 2023 - ongoing

I currently perform research on the formal semantics of planning formalisms, such as PDDL and GOLOG under the supervision of Dr Mohammad Abdulaziz.

Bachelor of Science - Final Year Project

September 2022 - April 2023

King's College London

London, United Kingdom

Regular Expressions, Lexing, Derivatives

Education

Computer Science Research MPhil/PhD

October 2023 - ongoing

Bachelor of Science with Honours in Computer Science

September 2019 - July 2023

King's College London

London, United Kingdom

Awards, Workshops

NMES Faculty Studentship

October 2023 - ongoing

A studentship for the duration of my studies as postgraduate research student at King's College London.

Skills

Programming:

Java, Scala, Kotlin, TypeScript

Interactive Theorem Proving:

Isabelle/HOL

Additional Information

Some things that I do can be found on GitHub.