Dr.-Ing. Chase (Matthew) Ford

Title of Doctoral Project: Presentations of Graded Coalgebraic Semantics

Fachmentorat: Lutz Schröder, Felix Freiling, Christoph Safferling

Duration of Research Training Group Membership: 01.12.2019–today

Funding (Type, Duration): DFG, 01.12.2019–30.11.2022

Start and End of Doctoral Training: 01.12.2019–17.03.2023

Description of doctoral project and research results achieved to date

The former title of the doctoral project was „Formal Notions of Digital Evidence“‚ which changed into „Presentations of Graded Coalgebraic Semantics“‚. The aims of the project were originally to develop an abstract notion of digital evidence to study theoretically. The submitted thesis elaborates on the theory of graded semantics, a coalgebraic framework for capturing spectra of process semantics.

The main achievements of the thesis include the algebraic presentation of (graded) monads as well as logical and game-theoretical presentations of graded semantics. Additionally, we developed in collaboration with my coauthors an approach to games for process semantics abstractly.

Overall, I had plenty of opportunity to network with the other researchers and their projects.

Publications