Ondřej Rypáček [andre rip-ah-check]

I'm a theoretical computer scientist interested in higher dimensional Category Theory, dependent Type Theory and their interaction in the semantics of programming. I'm employed as an RA at King's College London formalising component based program specification, development and refinement. My thesis: Distributive Laws in Programming Structures. Its final version can be also downloaded from the university eTheses archive.

Refereed 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

    Other Notes:

  • Labelling Polynomial Functors - A Coherent Approach
    •

    Some seminar and other talks:

  • Higher Dimensional Type Theory, Apr 7 2011, Swansee, 10th Wessex Theory Seminar
  • 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: ondrej.rypacek at kcl.ac.uk