Dr Eric Finster | Department of Computer Science and Technology

skip to content

Research Staff

This person is no longer active in the department.

Research

I am interested in connections between computer science, homotopy theory and higher category theory.

Themes

Programming Languages, Semantics and Verification