I am a postdoc in the Mathematically Structured Programming Group at the University of Strathclyde, working with Neil Ghani.
Before that, I was a postdoc in the Theory Group at the University of Birmingham, working with Dan Ghica. Before that, I did a PhD at Swansea University under the supervision of Anton Setzer.
I have a CV.
@INPROCEEDINGS{ghaniKupkelambertNordvallForsberg2019probgames,
author = {Ghani, Neil and Kupke, Clemens and Lambert, Alasdair and Nordvall Forsberg, Fredrik},
title = {Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law},
booktitle = {Applied Category Theory 2019},
year = {2019},
}
@ARTICLE{ghaniNordvallforsbergOrsanigo2017universalUniversal,
author = {Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico},
title = {Universal properties for universal types in bifibrational parametricity},
journal = {Mathematical Structures in Computer Science},
volume = {29},
number = {6},
pages = {810--827},
doi = {10.1017/S0960129518000336},
year = {2019},
}
@INPROCEEDINGS{altenkirchCapriottiDijkstraKrausNordvallforsberg2018qiits,
author = {Altenkirch, Thorsten and Capriotti, Paolo and Dijkstra, Gabe and Kraus, Nicolai and Nordvall Forsberg, Fredrik},
title = {Quotient Inductive-Inductive Types},
booktitle = {FoSSaCS 2018},
editor = {Baier, Christel and Dal Lago, Ugo},
series = {Lecture Notes in Computer Science},
publisher = {Springer, Heidelberg},
pages = {293--310},
year = {2018}
}
ACM Author-ize version.
@INPROCEEDINGS{ritterNordvallforsbergMayRinderlema2018optimizationStrategies,
author = {Ritter, Daniel and Nordvall Forsberg, Fredrik and May, Norman and Rinderle-Ma, Stefanie},
title = {Optimization Strategies for Integration Pattern Compositions},
booktitle = {Proceedings of the 12th ACM International Conference on Distributed and Event-based Systems},
series = {DEBS '18},
pages = {88--99},
doi = {10.1145/3210284.3210295},
publisher = {ACM},
year = {2018},
}
@ARTICLE{ghaniKupkeLambertNordvallforsberg2018infiniteGames,
author = {Ghani, Neil and Kupke, Clemens and Lambert, Alasdair and Nordvall Forsberg, Fredrik},
title = {A Compositional Treatment of Iterated Open Games},
journal = {Theoretical Computer Science},
doi = {https://doi.org/10.1016/j.tcs.2018.05.026},
volume = {741},
pages = {48--57},
year = {2018}
}
@INPROCEEDINGS{ghaniMcBrideNordvallforsbergSpahn2017variationsIR,
author = {Ghani, Neil and McBride, Conor and Nordvall Forsberg, Fredrik and Spahn, Stephan},
title = {Variations on Inductive-Recursive Definitions},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)},
pages = {63:1--63:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
year = {2017},
volume = {83},
editor = {Larsen, Kim G. and Bodlaender, Hans L. and Raskin, Jean-Francois},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
doi = {10.4230/LIPIcs.MFCS.2017.63},
}
@INPROCEEDINGS{ghaniNordvallforsbergSimpson2016compParam,
author = {Ghani, Neil and Nordvall Forsberg, Fredrik and Simpson, Alex},
title = {Comprehensive parametric polymorphism: categorical models and type theory},
booktitle = {FoSSaCS 2016},
editor = {Jacobs, Bart and L{\"o}ding, Christof},
series = {Lecture Notes in Computer Science},
volume = {9634},
pages = {3--19},
publisher = {Springer, Heidelberg},
year = {2016}
}
@INPROCEEDINGS{ghaniNordvallforsbergOrsanigo2016proofRelevantParam,
author = {Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico},
title = {Proof-relevant parametricity},
booktitle = {A List of Successes That Can Change the World},
editor = {Lindley, Sam and McBride, Conor and Sannella, Don and Trinder, Phil},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {109--131},
publisher = {Springer, Heidelberg},
year = {2016}
}
@INPROCEEDINGS{ghaniJohannNordvallforsbergOrsanigoRevell2015bifibParam,
author = {Ghani, Neil and Johann, Patricia and Nordvall Forsberg, Fredrik and Orsanigo, Federico and Revell, Timothy},
title = {Bifibrational functorial semantics of parametric polymorphism},
booktitle = {MFPS 2015},
editor = {Ghica, Dan R.},
series = {Electronic Notes in Theoretical Computer Science},
volume = {319},
pages = {165--181},
publisher = {Elsevier},
year = {2015}
}
@INPROCEEDINGS{atkeyGhaniNordvallforsbergRevellStaton2015dimensionModels,
title = {Models for Polymorphism over Physical Dimensions},
author = {Atkey, Robert and Ghani, Neil and Nordvall Forsberg, Fredrik and Revell, Timothy and Staton, Sam},
pages = {45--59},
year = {2015},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications (TLCA'15)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
editor = {Thorsten Altenkirch}
}
@INPROCEEDINGS{ghaniNordvallforsbergOrsanigo2015universalForall,
author = {Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico},
title = {Parametric polymorphism {---} universally},
booktitle = {WoLLIC 2015},
editor = {de Paiva, Valeria and de Queiroz, Ruy and Moss, Lawrence S. and Leivant, Daniel and de Oliveira, Anjolina G.},
series = {Lecture Notes in Computer Science},
volume = {9160},
pages = {81--92},
publisher = {Springer, Heidelberg},
year = {2015}
}
@ARTICLE{ghaniMalatestaNordvallforsberg2015posIR,
author = {Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik},
title = {Positive Inductive-Recursive Definitions},
journal = {Logical Methods in Computer Science},
volume = {11},
number = {1},
year = {2015},
doi = {10.2168/LMCS-11(1:13)2015},
}
@ARTICLE{bergerLawrenceNordvallforsbergSeisenberger2015extractingDPLL,
author = {Berger, Ulrich and Lawrence, Andrew and Nordvall Forsberg, Fredrik and Seisenberger, Monika},
title = {Extracting verified decision procedures: {DPLL} and Resolution},
journal = {Logical Methods in Computer Science},
volume = {11},
number = {1},
year = {2015},
doi = {10.2168/LMCS-11(1:6)2015},
}
@PHDTHESIS{nordvallforsberg2013thesis,
author = {Nordvall Forsberg, Fredrik},
title = {Inductive-inductive definitions},
school = {Swansea University},
year = {2013}
}
@INPROCEEDINGS{ghaniMalatestaNordvallforsbergSetzer2013positiveIR,
author = {Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik},
title = {Positive Inductive-Recursive Definitions},
booktitle = {CALCO 2013},
editor = {Heckel, Reiko and Milius, Stefan},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {19--33},
publisher = {Springer, Heidelberg},
year = {2013}
}
@INPROCEEDINGS{ghaniMalatestaNordvallforsbergSetzer2013fibredData,
author = {Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik and Setzer, Anton},
title = {Fibred Data Types},
booktitle = {LICS 2013},
pages = {243--252},
year = {2013}
}
@INPROCEEDINGS{miyamotoNordvallforsbergSchwichtenberg2013nestedPE,
author = {Miyamoto, Kenji and Nordvall Forsberg, Fredrik and Schwichtenberg, Helmut},
title = {Program Extraction from Nested Definitions},
booktitle = {ITP 2013},
editor = {Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David},
series = {Lecture Notes in Computer Science},
volume = {7998},
pages = {370--385},
publisher = {Springer, Heidelberg},
year = {2013}
}
@INCOLLECTION{nordvallforsbergSetzer2012finIndind,
author = {Nordvall Forsberg, Fredrik and Setzer, Anton},
title = {A finite axiomatisation of inductive-inductive definitions},
booktitle = {Logic, Construction, Computation},
publisher = {Ontos Verlag},
year = {2012},
editor = {Berger, Ulrich and Diener Hannes and Schuster, Peter and Seisenberger, Monika},
volume = {3},
series = {Ontos mathematical logic},
pages = {259--287}
}
@INPROCEEDINGS{altenkirchMorrisNordvallforsbergSetzer2011indindCatsem,
author = {Altenkirch, Thorsten and Morris, Peter and Nordvall Forsberg, Fredrik and Setzer, Anton},
title = {A categorical semantics for inductive-inductive definitions},
booktitle = {CALCO 2011},
year = {2011},
editor = {Corradini, Andrea and Klin, Bartek and Cirstea, Corina},
series = {Lecture Notes in Computer Science},
volume = {6859},
pages = {70--84},
publisher = {Springer, Heidelberg}
}
@INPROCEEDINGS{nordvallforsbergSetzer2010inductiveinductive,
author = {Nordvall Forsberg, Fredrik and Setzer, Anton},
title = {Inductive-Inductive Definitions},
booktitle = {CSL 2010},
year = {2010},
editor = {Dawar, Anuj and Veith, Helmut},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {454--468},
publisher = {Springer, Heidelberg}
}
@MASTERSTHESIS{nordvallforsberg2009MScthesis,
author = {Nordvall Forsberg, Fredrik},
title = {Constructive aspects of models for non-standard analysis},
school = {Uppsala University},
year = {2009}
}
|
Specifying quotient inductive-inductive types. TYPES 2018, June 2018, Braga. Slides |
|
Variations on inductive-recursive definitions. Agda Implementors' Meeting XXV, May 2017, Gothenburg. Slides |
|
Comprehensive parametric polymorphism. LFCS seminar, May 2016, Edinburgh. Slides |
|
The encode-decode method in HoTT, relationally. Scottish Theorem Proving Seminar, October 2015, Dundee. Slides |
|
Inductive-inductive definitions in Intuitionistic Type Theory. Stockholm Logic seminar, June 2014, Stockholm. Slides |
|
My Summer in Munich: Extracting Haskell Programs. Realizability Seminar, February 2013, Swansea. Slides |
|
Internalising inductive-inductive definitions in Martin-Löf Type Theory. TCS Oberseminar, November 2012, LMU Institut für Informatik, Munich, Germany. Slides |
|
Elimination principles for initial dialgebras. TYPES 2011, Bergen, Norway. Slides |
|
A categorical semantics for inductive-inductive definitions. CALCO 2011, Winchester, UK. Slides |
|
Interpreting inductive-inductive definitions as indexed inductive definitions. TYPES 2010, Warsaw, Poland. Slides |
Last modified: Wed Jun 5 08:49:13 BST 2019.