Chase Ford
FAU Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstraße 3
D-91058 Erlangen
Raum: 11.125
E-Mail: chase.ford[at]fau.de
Telefon: 09131/85-64057
About me
I am a PhD student in the Chair of Theoretical Computer Science at Friedrich-Alexander-Universität Erlangen-Nürnberg. I am funded as member of the Research Training Group 2475 “Cybercrime and Forensic Computing” under the supervision of Lutz Schröder.
Previously, I completed the Master of Logic (specialization: mathematics) at the Institute for Logic, Language, and Computation of the University of Amsterdam. My MSc thesis concerns the expressive power of first-order logic on trees (supervisors: Yde Venema and Sam van Gool), and is available here. I have also obtained a first degree in Mathematics (The Evergreen State College, 2015), and participated as a student in the Budapest Semesters in Mathematics (Spring 2015). My Erdős number is 4.
A full CV is available upon request.
Research
I am broadly interested in the development and application of categorical and logical methods to problems in (the foundations of) computer science. More specifically, my recent interests include:
- universal (co)algebra and category theory
- graded monads
- logic, games, and verification
I have had the privilege to collaborate with Jiří Adámek, Harsh Beohar, Barbara König, Stefan Milius, and Lutz Schröder. I look forward to future collaborations.
Publications (see also dblp)
- Chase Ford, Harsh Beohar, Barbara König, Stefan Milius, and Lutz Schröder: Graded Monads and Behavioural Equivalence Games. To appear: 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022). Full version available on arXiv (link in title).
- 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. Proceedings 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. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021). Full version available on arXiv here.
Selected Talks
- Graded Monads and Behavioural Equivalence Games, LICS 2022, Haifa, Israel, August 2022
- Graded Monads and Behavioural Equivalence Games, Highlights of Logic, Games and Automata 2022, Paris, France, June 2022
- Aspects of Graded Semantics, Joint Meeting of the German RTGs in Computer Science, Dagstuhl, Germany, June 2022
- Graded Monads and Behavioural Equivalence Games, CMCS 2022, Munich, Germany, April 2022
- Monads on Categories of Relational Structures, CALCO 2021, Salzburg, Austria, August 2021
- Behavioural Preorders via Graded Monads, LICS 2021, Rome, Italy (online), June 2021