Ondřej Rypáček

I used to be a research PhD student in the Functional Programming Laboratory at the University of Nottingham. Nowadays I'm an RA at King's College London in applied Type Theory. I am interested in Category Theory, in particular in Higher-dimensional Category Theory, dependent Type Theory and their interaction in the semantics of programming.

Thesis:

Recently I defended a PhD Thesis titled Distributive Laws in Programming Structures on a generalised notion of a categorical distributive law. Its final version can be dowloaded above.

Papers:

  • Expression Lemma, joint with Ralf Lämmel, Mathematics of Program Construction 2008 (MPC'08)
  • Type-theoretic Design Patterns, Workshop on Generic Programming 2006 (WGP'06)
    • bib

    Some seminar and other talks:

  • Distributive Laws in Programming Structures, Fun in the Afternoon, Thursday 26 November, Microsoft Research, Cambridge
  • Theoretical computer science seminar, Birmingham, Friday 09 Oct 2009, slides
  • Some examples of higher-dimensional distributive laws , DomainsIX, September 2008, Brighton
  • Objects Versus Abstract Data Types: Bialgebraically, CALCO'07 (Bergen, Norway)
    •

    Unassorted stuff:

  • Proceedings of the Springschool on Generic Programming, Nottingham, 2008, at Springer

    Email: oxr at cs.nott.ac.uk
    Office: Room B38, School of Computer Science, Jubilee Campus

    School of Computer Science Home Page
    The University of Nottingham