Chase Ford
Postdoc
- Name
- Dr.ing. M.C. Ford
- Telephone
- +31 71 527 2727
- m.c.ford@liacs.leidenuniv.nl
- ORCID iD
- 0000-0003-3892-5917
Postdoc
- Science
- Leiden Inst of Advanced Computer Science
- Ford M.C. (6 July 2023), Presentations of Graded Coalgebraic Semantics (Dissertatie. Department of Computer Science, Chair of Theoretical Computer Science, Engineering, Friedrich-Alexander-Universität Erlangen-Nürnberg). Erlangen, Germany: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU). Supervisor(s): Schröder L.
- Ford C., Milius S., Schröder L., Beohar H. & König B. (2022), Graded Monads and Behavioural Equivalence Games. Baier C. (Ed.), Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. 37th Annual ACM/IEEE Symposium on Logic in Computer Science 2 August 2022 - 5 August 2022. New York, NY, USA: Association for Computing Machinery. 61:1--61:13.
- Adámek J., Ford C., Milius S. & Schröder L. (2021), Finitary monads on the category of posets, Mathematical Structures in Computer Science 31(7): 799-821.
- Ford C., Milius S. & Schröder L. (2021), Monads on categories of relational structures. Gadducci F. & Silva A. (Eds.), 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). 9th Conference on Algebra and Coalgebra in Computer Science (CALCO) 31 August 2021 - 3 September 2021. Leibniz International Proceedings in Informatics (LIPICS) no. 211. Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. 14:1--14:17.
- Ford C., Milius S. & Schröder L. (2021), Behavioural preorders via graded monads. Libkin L. (Ed.), Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 29 June 2021 - 2 July 2021. New York, NY, USA: Association for Computing Machinery. 12:1--12:13.