Dr Eric Finster | Department of Computer Science and Technology

skip to content

Research Staff

Research

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

Themes

Programming Languages, Semantics and Verification