HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Thu, 25 Dec 2025 21:23:57 GMT access-control-allow-origin: * etag: W/"694dab6d-f36" expires: Tue, 30 Dec 2025 02:11:18 GMT cache-control: max-age=600 content-encoding: gzip x-proxy-cache: MISS x-github-request-id: CC67:2118F1:9691C9:A9415A:6953326D accept-ranges: bytes age: 0 date: Tue, 30 Dec 2025 02:01:18 GMT via: 1.1 varnish x-served-by: cache-bom-vanm7210036-BOM x-cache: MISS x-cache-hits: 0 x-timer: S1767060078.071946,VS0,VE211 vary: Accept-Encoding x-fastly-request-id: 622e05af809723f80b0c61594b633a68be2f7bc4 content-length: 1826

Fosco Loregian

逢佛殺佛

Ma olen matemaatik.

Since October 2023, I am a Researcher at the Compositional Systems and Methods group at TalTech.

I enjoy category theory, stable homotopy theory, computations with the Serre spectral sequence, functional programming, proof assistants, bicategories of profunctors, the deep meaning of the integral sign, lager beers, artificial and natural languages, sharpening knives, Shunga paintings, drawing maps, calligraphy, typography.

Most of all, I love linking all these things.

See my CV here. My email is below. An updated research statement is here (tl;dr: I do category theory here, category theory there).