Alex Rice

My research has been focused on programming languages, type systems, and tools for working with these, especially those of a non-standard nature. In my PhD, I developed two variants of the type theory Catt, a type theory which models globular weak infinity categories, adding non-trivial equational systems to the type theory. More recently, I have been interested in quantum computation and compilation and am researching how various programming language ideas can be applied to this domain