Eric Finster — SPARQNOW

At-a-Glance

Formally trained mathematician
Computer scientist
Focuses on category theory, homotopy theory, and type theory
Works with the emerging discipline of Homotopy Type Theory
Applies theoretical ideas to software development and mathematics

Biography

Eric Finster is a mathematician and computer scientist with formal training in mathematics. His professional interests include category theory, homotopy theory, and type theory.

Finster's work primarily centers on Homotopy Type Theory, an emerging discipline. He is interested in exploring the application of these theoretical ideas to both software development and the broader field of mathematics.