Chase Ford
| e-mail: | m.c.ford[at]liacs[dot]leidenuniv[dot]nl |
| phone: | +31 71 527 2727 |
| address: | Snellius Niels Bohrweg 1 2333 CA Leiden |
I am currently working as a postdoctoral researcher with Marcello Bonsangue at the Leiden Institute of Advanced Computer Science (LIACS) of Leiden University (December 2023 – present). Click here if you wish to be redirected to my profile at Leiden University.
Before that, I was a PhD candidate (supervisor: Lutz Schröder) at the Chair of Theoretical Computer Science of Friedrich-Alexander-Universität Erlangen-Nürnberg and a member of the interdisciplinary Research Training Group 2475 “Cybercrime and Forensic Computing” (December 2019 – December 2023). I also hold an MSc in Logic from the Institute for Logic, Language, and Computation (ILLC) of the University of Amsterdam (2017-19) and a BSc Mathematics from The Evergreen State College (2010-2015).
My research interests include:
- coalgebras and their applications in computer science
- graded monads and their applications in semantics
- category theory and universal algebra
- logic in computer science
- formal methods and artificial intelligence
Selected publications (see dblp for an updated list)
- Chase Ford, Harsh Beohar, Barbara König, Stefan Milius, and Lutz Schröder: Graded Monads and Behavioural Equivalence Games. To appear: Proc. of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022). Full version available on arXiv.
- Jiří Adámek, Chase Ford, Stefan Milius, and Lutz Schröder: Finitary monads on the category of posets, in Mathematical Structures in Computer Science, pp. 1–23, 2021.
- Chase Ford, Stefan Milius, and Lutz Schröder: Monads on categories of relational structures. Proc. of the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), Dagstuhl Publishing, 2021. Full version available on arXiv here.
- Chase Ford, Stefan Milius, and Lutz Schröder: Behavioural preorders via graded monads. Proc. of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021). Full version available on arXiv here.
Theses
- Chase Ford, Presentations of Graded Coalgebraic Semantics (PhD Dissertation. Department of Computer Science, Chair of Theoretical Computer Science, Engineering, Friedrich-Alexander-Universität Erlangen-Nürnberg). Erlangen, DE. Supervisor: Lutz Schröder.
- Chase Ford, Investigations into the Expressiveness of First-order Logic and Weak Path Automata on Infinite Trees (MSc thesis. Institute for Logic, Language, and Computation, University of Amsterdam). Amsterdam, NL. Supervisor: Yde Venema and Sam van Gool.
Selected Talks
- Graded Monads and Behavioural Equivalence Games
- Comonad Seminar, University of Oxford, EN, February 2023
- Logic in Computer Science (LICS), Haifa, IL, August 2022
- Highlights of Logic, Games and Automata, Paris, FR, June 2022
- Coalgebraic Methods in Computer Science (CMCS), Munich, DE, April 2022
- Graded Semantics of Probabilistic Systems
- Joint Meeting of the German RTGs in CS, Schloss Dagstuhl, DE, June 2022
- Monads on Categories of Relational Structures
- Algebra and Coalgebra in Computer Science (CALCO), Salzburg, AT, August 2021
- Behavioural Preorders via Graded Monads
- Logic in Computer Science (LICS), Rome, Italy (virtual), June 2021