# Prof Erik Palmgren

Affiliations: |

Projects

Computing with Infinite Data 01/04/2017 - 31/03/2021 The joint research in this programme will study important aspects—both theoretical as well as applied—of computing with infinite objects. A central aim is laying the grounds for the generation of efficient and verified software in engineering applications. A prime examp... |

Constructive and category-theoretic foundations of mathematics 01/01/2016 - 31/12/2019 The research programme has as a long term goal to develop constructive systems and methods of logic, especiallly in model theory and category theory, for the use in metamathematics, and as foundational systems for mathematics. The present part of the project concentrates on tw... |

Correctness by Construction 01/01/2014 - 31/12/2017 As software becomes ever more ubiquitous in our lives, the need to ensure it runs without error becomes ever more important. Restarting a phone is a simple, if inconvenient task; restarting an aeroplane in mid-flight is not an option! Correct by construction programming ... |

Constructive and category-theoretic foundations of mathematics 01/01/2012 - 31/12/2014 I projektet undersöks moderna revisionistiska grundvalsteorier för matematiken. Sådana teorier har också visat sig ha betydelse för formalisera och katalogisera matematiska resultat med hjälp av datorer och utvecklingen av så kallade bevisst&... |

Constructive and category-theoretic foundations of mathematics 01/01/2009 - 31/12/2011 The research project involves the following related parts (A) Locale theory and formal topology in a predicative setting. Formal topology is the constructivists´ prime candidate for a revised general topology. We aim to test this by investigating some classical applications... |