alexhkurz.github.io

Research

(under construction)

My main reserarch interests are in logic, category theory and their applications to computer science.

I collected some notes on what logic in computer science is about.

I plan to add more on category theory and to expand the list of research topics I have been pursuing.