Prof Erik Palmgren



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...


Last updated on 2017-16-06 at 11:19