Swansea University
Computer Science

Notice: Undefined variable: no_personal_data in /compsci/partition3/csfnf/public_html/header.inc on line 18
Photo of Fredrik Nordvall Forsberg

phone: (+44) (0)7787 959866
email: click to reveal

Fredrik Nordvall Forsberg

Moved to Strathclyde

I have moved to sunny Glasgow and the Mathematically Structured Programming Group at the University of Strathclyde. My new home page can be found here.

PhD Student

I was a PhD student under the supervision of Anton Setzer, working in type theory.

Did you know that forgetting words in a foreign language has a left adjoint? To translate freely.

You can find my CV here.

Seminar series on realizability

More information about the seminar series on realizability here.

Last term, we had a seminar series on categorical logic.


Selected talks

Slide from Realisiability seminar My Summer in Munich: Extracting Haskell Programs.
Realizability Seminar, February 2013, Swansea.
Slide from LMU 2012 Internalising inductive-inductive definitions in Martin-Löf Type Theory.
TCS Oberseminar, November 2012, LMU Institut für Informatik, Munich, Germany.
Slide from BCTCS 2011 Elimination principles for initial dialgebras.
TYPES 2011, Bergen, Norway.
Slide from BCTCS 2011 A categorical semantics for inductive-inductive definitions.
CALCO 2011, Winchester, UK.
Title slide TYPES 2010 Interpreting inductive-inductive definitions as indexed inductive definitions.
TYPES 2010, Warsaw, Poland.
Slide from PECP 2010 Formalising inductive-inductive definitions.
Invited participant, Program Extraction and Constructive Proofs 2010, Brno, Czech Republic.
Slide from BCRCS 2010 Inductive-inductive definitions.
BCTCS 2010, Edinburgh, UK.
[Abstract] [Slides]

Last modified: Thu 20 Feb 12:44:52 UTC 2014.