Patrik Jansson
Professor of Computer Science
Site Design
#ffc107
#3F51B5
#FFC107
Description
Recent Updates
Introducing FunPACT: tensors, proofs, and a new PostDoc position
Post
As some of you may have seen from our recent PostDoc recruitment announcement, Koen Claessen, Mary Sheeran, and I are looking for new res...
niFite semPurtatoni
Post
(About a pre-print by Patrik Jansson & Wouter Swierstra) What is a finite permutation? In Agda, you might be tempted to define one as a ...
Navigating the Incomparable: A Functional Programming Approach to Multi-Objective Optimization
Post
This week I submitted a new research grant proposal to the Swedish Research Council (VR) under the Natural and Engineering Sciences call....