Navigation

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

  1. Graded Monads and Behavioural Equivalence Games, LICS 2022, Haifa, Israel, August 2022
  2. Graded Monads and Behavioural Equivalence Games, Highlights of Logic, Games and Automata 2022, Paris, France, June 2022
  3. Aspects of Graded Semantics, Joint Meeting of the German RTGs in Computer Science, Dagstuhl, Germany, June 2022
  4. Graded Monads and Behavioural Equivalence Games, CMCS 2022, Munich, Germany, April 2022
  5. Monads on Categories of Relational Structures, CALCO 2021, Salzburg, Austria, August 2021
  6. Behavioural Preorders via Graded Monads, LICS 2021, Rome, Italy (online), June 2021