David Wang

Contact

E-Mail:

[email protected]

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

King's College London - Department of Informatics

London, United Kingdom

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

King's College London - Department of Informatics

London, United Kingdom

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

King's College London - Faculty of Natural, Mathematical, and Engineering Sciences

London, United Kingdom

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

Trimester Programme - Prospects of Formal Mathematics - School on Formal Mathematics

May 13, 2024 - May 17, 2024

University of Bonn - Hausdorff Research Institute for Mathematics

Bonn, Germany

Trimester Programme - Prospects of Formal Mathematics

June 17, 2024 - June 28, 2024

University of Bonn - Hausdorff Research Institute for Mathematics

Bonn, Germany

Skills

Programming:

Java, Scala, Kotlin, TypeScript

Interactive Theorem Proving:

Isabelle/HOL

Additional Information

Some things that I do can be found on GitHub.