Name:Cass Alexandru

Bio:

I’m a PhD student at the Working Group Programming Languages at the RPTU Kaiserslautern-Landau, supervised by Ralf Hinze. I am co-supervised by Jurriaan Rot and Niels van der Weide, both at Radboud University Nijmegen. My current research topic is the application of categorical semantics of (dependent) type theory to writing intrinsically correct total algorithms using structured recursion. More specifically, I am investigating recursive coalgebras and algorithmic duality.

More broadly, I’m interested in the application of the full breadth of the theoretical arsenal to the problem of designing theoretically rigorous and ergonomic verified functional programming languages, including but not limited to:
datatype-generic programming, recursion schemes, cubical and directed type theory, substructural type systems, EDSLs, compiler construction, staged compilation, decision procedures, editor-time codegen/annotation, SMT, ATPs, proof/program synthesis

Country:Germany

Affiliation:RPTU Kaiserslautern-Landau & Radboud University Nijmegen

Research interests:Category Theory, Dependent Type Theory, Datatype-Generic Programming, Intrinsic Correctness, Categorical Semantics, Algorithmics,