
Dr Fredrik Nordvall Forsberg
Strathclyde Chancellor's Fellow
Computer and Information Sciences
Back to staff profile
Prize And Awards
- APLAS 2023 Best paper award
- Recipient
- 20/10/2023
- Distinguished Presentation Award
- Recipient
- 8/6/2021
- ETAPS 2016 EATCS best paper award
- Recipient
- 6/4/2016
Back to staff profile
Publications
- A fresh look at commutativity : free algebraic structures via fresh lists
- Kupke Clemens, Nordvall Forsberg Fredrik, Watters Sean
- The 21st Asian Symposium on Programming Languages and Systems, pp. 1-20 (2023)
- Set-theoretic and type-theoretic ordinals coincide
- de Jong Tom, Kraus Nicolai, Nordvall Forsberg Fredrik, Xu Chuangjie
- Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science (2023)
- Type-theoretic approaches to ordinals
- Kraus Nicolai, Nordvall Forsberg Fredrik, Xu Chuangjie
- Theoretical Computer Science Vol 957 (2023)
- https://doi.org/10.1016/j.tcs.2023.113843
- Measuring with confidence : leveraging expressive type systems for correct-by-construction software
- McBride Conor, Nakov Georgi, Nordvall Forsberg Fredrik
- Acta IMEKO Vol 12 (2023)
- https://doi.org/10.21014/actaimeko.v12i1.1412
- Quantitative polynomial functors
- Nakov Georgi, Nordvall Forsberg Fredrik
- 27th International Conference on Types for Proofs and Programs (TYPES 2021) Leibniz International Proceedings in Informatics, LIPIcs Vol 239, pp. 10:1--10:22 (2022)
- https://doi.org/10.4230/LIPIcs.TYPES.2021.10
- Infinite horizon extensive form games, coalgebraically
- Capucci Matteo, Ghani Neil, Kupke Clemens, Ledent Jérémy, Nordvall Forsberg Fredrik
- Mathematics for Computation (2022) (2022)
Back to staff profile
Professional Activities
- Scottish Programming Languages Seminar Series
- Organiser
- 22/11/2023
- Contributed talk TYPES 2023: The ordinals in set theory and type theory are the same
- Speaker
- 12/6/2023
- SPLS seminar: Set theory or type theory? It doesn't matter! (For ordinals)
- Speaker
- 7/6/2023
- Contributed talk HoTT 2023: Relating ordinals in set theory to ordinals in type theory
- Contributor
- 22/5/2023
- Contributed talk CIRM: The set-theoretic and type-theoretic ordinals are the same
- Speaker
- 4/5/2023
- Théorie des types, mathématiques constructives et logique géométrique
- Participant
- 1/5/2023
Projects
- A correct-by-construction approach to approximate computation
- Mardare, Radu (Principal Investigator) Ghani, Neil (Co-investigator) Nordvall Forsberg, Fredrik (Co-investigator)
- 01-Jan-2023 - 31-Jan-2027
- Maths DTP 2021/22 University of Strathclyde | Watters, Sean
- Kupke, Clemens (Principal Investigator) Nordvall Forsberg, Fredrik (Co-investigator) Watters, Sean (Research Co-investigator)
- 01-Jan-2021 - 01-Jan-2025
- KTP - Cambridge Quantum Computing (CQC) / R190328-202
- McBride, Conor (Principal Investigator) Atkey, Bob (Co-investigator) Nordvall Forsberg, Fredrik (Co-investigator)
- 24-Jan-2020 - 23-Jan-2022
- KTP - Cambridge Quantum Computing (CQC)
- McBride, Conor (Principal Investigator) Atkey, Bob (Co-investigator) Nordvall Forsberg, Fredrik (Co-investigator)
- 24-Jan-2020 - 23-Jan-2022
- Trusted Systems
- Ghani, Neil (Principal Investigator) McBride, Conor (Co-investigator) Nordvall Forsberg, Fredrik (Co-investigator)
- 01-Jan-2019 - 30-Jan-2023
- Trusted Systems
- Ghani, Neil (Co-investigator) McBride, Conor (Principal Investigator) Nordvall Forsberg, Fredrik (Co-investigator)
- 01-Jan-2019 - 30-Jan-2023
Back to staff profile
Contact
Dr
Fredrik
Nordvall Forsberg
Strathclyde Chancellor's Fellow
Computer and Information Sciences
Email: fredrik.nordvall-forsberg@strath.ac.uk
Tel: 548 3230