Dr Fredrik Nordvall Forsberg
Senior Lecturer
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
- Responsible composition and optimization of integration processes under correctness preserving guarantees
- Ritter Daniel, Nordvall Forsberg Fredrik, Rinderle-Ma Stefanie
- Information Systems Vol 124 (2024)
- https://doi.org/10.1016/j.is.2024.102400
- 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
- Infinite horizon extensive form games, coalgebraically
- Capucci Matteo, Ghani Neil, Kupke Clemens, Ledent Jérémy, Nordvall Forsberg Fredrik
- Mathematics for Computation (2023) (2023)
- https://doi.org/10.1142/9789811245220_0008
Back to staff profile
Professional Activities
- Scottish Programming Languages and Verification Summer School 2024
- Organiser
- 29/7/2024
- Contributed talk TYPES 2024: "Extensional Finite Sets and Multisets in Type Theory"
- Contributor
- 13/6/2024
- Contributed talk TYPES 2024: "Constructive Ordinal Exponentiation in Homotopy Type Theory"
- Speaker
- 13/6/2024
- Hausdorff Research Institute for Mathematics
- Visiting researcher
- 26/5/2024
- Contributed talk HoTT/UF 2024: "Ordinal exponentiation in homotopy type theory"
- Speaker
- 2/4/2024
- TYPES steering committee (External organisation)
- Member
- 2024
Projects
- A correct-by-construction approach to approximate computation
- Mardare, Radu (Principal Investigator) Nordvall Forsberg, Fredrik (Co-investigator)
- 01-Nov-2023 - 31-Oct-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-Oct-2021 - 01-Oct-2025
- Industrial CASE Account - University of Strathclyde 2021 | Braithwaite, Dylan
- Hedges, Julian (Principal Investigator) Nordvall Forsberg, Fredrik (Co-investigator) Braithwaite, Dylan (Research Co-investigator)
- 01-Oct-2021 - 01-Oct-2025
- Maths DTP 2020 University of Strathclyde | Capucci, Matteo
- Nordvall Forsberg, Fredrik (Principal Investigator) Hedges, Julian (Co-investigator) Capucci, Matteo (Research Co-investigator)
- 01-Oct-2020 - 01-Oct-2024
- KTP - Cambridge Quantum Computing (CQC) / R190328-202
- McBride, Conor (Principal Investigator) Atkey, Bob (Co-investigator) Nordvall Forsberg, Fredrik (Co-investigator)
- 24-Feb-2020 - 23-Feb-2022
- KTP - Cambridge Quantum Computing (CQC)
- McBride, Conor (Principal Investigator) Atkey, Bob (Co-investigator) Nordvall Forsberg, Fredrik (Co-investigator)
- 24-Feb-2020 - 23-Feb-2022
Back to staff profile
Contact
Dr
Fredrik
Nordvall Forsberg
Senior Lecturer
Computer and Information Sciences
Email: fredrik.nordvall-forsberg@strath.ac.uk
Tel: 548 3230