Student Projects

( … under construction … )

Get in touch if you are interested.


I directed various PhDs in logic, category theory, and computer science. More recently, I am also interested branching out to other fields such as engineering, economics, and the social sciences. The rationale is that these areas use a substantial amount of mathematics stemming from physics (such as calculus, linear algebra, probability and statistics) but much less of the more recent mathematics developed for computer science (this includes not only algorithms and complexity theory but also logic and category theory). This looks like a research opportunity .


I offer various research projects, see eg 291/491 Student-Faculty Research and Creative Activity for Course Credit for one way of formalizing this.

I maintain a changing lists of topics I am interested in.

Big Questions

Big questions are not always easy to turn into concrete research questions, but that only makes them more interesting.