Cass Alexandru (they/them)

I’m a PhD student at the Working Group Programming Languages at the RPTU, supervised by Ralf Hinze. My current research topic is application of category theory to the design of intrinsically correct algorithms, in particular bialgebraic semantics.

More broadly, I’m interested in the application of the full breadth of the theoretical arsenal to the problem of ergonomic use of dependently typed programming languages in practice, including but not limited to:
datatype-generic programming, recursion schemes, homotopy type theory, EDSLs, compiler construction, decision procedures, SMT, ATPs, proof/program synthesis

Online presence

I go by cxandru on most online forums, and also use the same profile icon everywhere, so I should be relatively easy to spot. My accounts on selected forums:


        author = {Alexandru, G. C. (Cass)},
        title = {Specifying Loops with Contracts},
        subtitle = {Reasoning about loops as recursive procedures},
        institution = {LMU Munich},
        type = {bathesis},
        year = {2019},
        file = {},
        url = {}
        author = {Alexandru, G. C. (Cass)},
        title = {Intrinsically correct sorting using bialgebraic semantics},
        institution = {Radboud University},
        type = {mathesis},
        year = {2023},
        file = {},
        url = {},


Unpublished Notes