Dr Fredrik Nordvall Forsberg

Strathclyde Chancellor's Fellow

Computer and Information Sciences

Publications

Compositional Game Theory, compositionally
Atkey Robert, Gavranović Bruno, Ghani Neil, Kupke Clemens, Ledent Jérémy, Nordvall Forsberg Fredrik
Applied Category Theory 2020 (2020)
Three equivalent ordinal notation systems in cubical Agda
Nordvall Forsberg Fredrik, Xu Chuangjie, Ghani Neil
CPP 2020 : Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs , pp. 172–185 (2020)
https://doi.org/10.1145/3372885.3373835
Compositional game theory with mixed strategies : probabilistic open games using a distributive law
Ghani Neil, Kupke Clemens, Lambert Alasdair, Nordvall Forsberg Fredrik
Applied category theory conference 2019, pp. 1-12 (2019)
Universal properties for universal types in bifibrational parametricity
Ghani Neil, Nordvall Forsberg Fredrik, Orsanigo Federico
Mathematical Structures in Computer Science Vol 29, pp. 810–827 (2019)
https://doi.org/10.1017/S0960129518000336
A compositional treatment of iterated open games
Ghani Neil, Kupke Clemens, Lambert Alasdair, Nordvall Forsberg Fredrik
Theoretical Computer Science Vol 741, pp. 48-57 (2018)
https://doi.org/10.1016/j.tcs.2018.05.026
Optimization strategies for integration pattern compositions
Ritter Daniel, May Norman, Nordvall Forsberg Fredrik, Rinderle-Ma Stefanie
12th ACM International Conference on Distributed and Event-based Systems (DEBS) 12th ACM International Conference on Distributed and Event-Based Systems (2018)
https://doi.org/10.1145/3210284.3210295

More publications

Professional activities

External examiner for Jakob von Raumer's PhD
Examiner
6/12/2019
Scottish Programming Languages and Verification Summer School 2019
Organiser
5/8/2019
Second Symposium on Compositional Structures
Organiser
17/12/2018
23rd International Conference on Types for Proofs and Programs (Event)
Guest editor
12/2018
Agda Implementor's Meeting XXIII
Organiser
20/4/2017
Scottish Programming Languages Seminar
Organiser
9/11/2016

More professional activities

Projects

Trusted Systems
Ghani, Neil (Co-investigator) McBride, Conor (Principal Investigator) Nordvall Forsberg, Fredrik (Co-investigator)
01-Jan-2019 - 30-Jan-2023
KTP - Cambridge Quantum Computing (CQC)
McBride, Conor (Principal Investigator) Atkey, Bob (Co-investigator) Nordvall Forsberg, Fredrik (Co-investigator)
05-Jan-2019 - 04-Jan-2021

More projects

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map