If you made any changes in Pure these will be visible here soon.

Personal profile

Personal Statement

I am a postdoctoral researcher in the Mathematically Structured Programming group.

My research interests include Martin-Löf Type Theory, constructive logic and mathematics and category theory.

See also my personal web page.

Education/Academic qualification

Doctor of Philosophy, Swansea University

Master of Mathematics, Uppsala University

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 5 Similar Profiles
Algebra Engineering & Materials Science
Polymorphism Engineering & Materials Science
Semantics Engineering & Materials Science
Inductive Definitions Mathematics
Type Theory Mathematics
Computer programming languages Engineering & Materials Science
Recursive functions Engineering & Materials Science
Axiomatization Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2009 2018

1 Citations

A compositional treatment of iterated open games

Ghani, N., Kupke, C., Lambert, A. & Nordvall Forsberg, F., 12 Sep 2018, In : Theoretical Computer Science. 741, p. 48-57 10 p.

Research output: Contribution to journalArticle

Open Access
File
Game
Economics
Game theory
Infinite Games
Compositionality

Optimization strategies for integration pattern compositions

Ritter, D., May, N., Nordvall Forsberg, F. & Rinderle-Ma, S., 17 Apr 2018, (Accepted/In press) 12th ACM International Conference on Distributed and Event-based Systems (DEBS). New York, 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Chemical analysis
Industry

Prizes

ETAPS 2016 EATCS best paper award

Fredrik Nordvall Forsberg (Recipient), Neil Ghani (Recipient) & Alex Simpson (Recipient), 6 Apr 2016

Prize: Prize (including medals and awards)

Activities 2016 2017

  • 2 Organiser of special symposia

Agda Implementor's Meeting XXIII

James Chapman (Organiser), Nordvall Forsberg, F. (Organiser)
20 Apr 201726 Apr 2017

Activity: Participating in or organising an eventOrganiser of special symposia

Scottish Programming Languages Seminar

James Chapman (Organiser), Nordvall Forsberg, F. (Organiser)
9 Nov 2016

Activity: Participating in or organising an eventOrganiser of special symposia