Patrik Jansson

Professor of Computer Science


Computer Science and Engineering

Chalmers University of Technology

Patrik Jansson

Professor of Computer Science


Patrik Jansson

Professor of Computer Science


Computer Science and Engineering

Chalmers University of Technology


Patrik Jansson (PhD, Chalmers 2000), Professor of Computer Science since 2011 at Chalmers U. of Tech. and Gothenburg U. in Sweden. His main research areas are Programming Languages, Functional Programming, Domain-Specific Languages, and their application to climate, physics, etc.

Google Scholar Profile
DBLP publication list
Mastodon: @[email protected]


Responsibility Under Uncertainty: Which Climate Decisions Matter Most?

Nicola Botta, Nuria Brede, Michel Crucifix, Cezar Ionescu, Patrik Jansson, Zheng Li, Marina Martínez, Tim Richter

Environmental Modeling & Assessment, Springer Science and Business Media LLC, 2023 Feb

Domain-Specific Languages of Mathematics

Patrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy

Texts in Computing, vol. 24, College Publications,, 2022 Jan, p. 268

Extensional equality preservation and verified generic programming

Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter

J. Funct. Program., vol. 31, Cambridge University Press, 2021

An Algebra of Sequential Decision Problems: Extended Abstract

Robert Krook, Patrik Jansson

Proceedings of ACM SIGPLAN Workshop on Type-Driven Development (TyDe’19), ACM, 2019

View all


OptiFun: Optimising fusion with generative programming

The aim of this project is to combine numeric and symbolic methods to accelerate first-principles simulations and enable optimisation of fusion confinement designs. PIs: Tünde Fülöp (Physics) and Patrik Jansson (CSE) 2022-2023

GRACeFUL: Global systems Rapid Assessment tools through Constraint FUnctional Languages

I was site- and workpackage leader in the EU-project (GRACeFUL, 2015-18) granted from the FETPROACT1 call with a budget of 2.4M EUR over three years.

DSLsofMath: Domain-Specific Languages of Mathematics

The project has resulted in a BSc level course, a textbook, a GitHub repository and a few other publications.


Nov 11, 2023

MSc thesis proposals

The local season for writing MSc thesis project proposal is here and I have formulated a few ideas for students to start from. They are posted in Chalmers' "MSc thesis portal" so I basically just link to them here: Computing Level-p-complexity with Ha...

Read more

Sep 15, 2023

Formalising parallel parsing (ValiantAgda code updates)

One of the lunch discussions during the recent ICFP 2023 week was about parallel parsing and I was then inspired to look up the Agda code of this paper: "Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda" Jean-Philippe Bern...

Read more

Aug 21, 2023

Types, equations, dimensions and the Pi theorem

Last week we submitted a paper to JFP about dimension analysis in a (dependently) typed functional language (like Idris or Agda). It is also available (as a pre-print) on arXiv. arXiv: 2308.09481 Authors: N. Botta, P. Jansson, G. da Silva Abstract: Th... (Link)

Read more

Aug 16, 2023

More on computing Level-p-complexity with Haskell

After the earlier posts (2022-12, 2023-03) there has been some more development on the "Level-\(p\)-complexity"-front. The topic is inspired from mathematical research by Prof. Jeffrey Steif and other colleagues, but the paper (in submission to JFP) is... (Link)

Read more

Jun 9, 2023

OptiFun: Optimising Nuclear Fusion with Functional Programming

I gave a talk at the CS division 2023 retreat at Marstrand about ongoing work in the "OptiFun" project. The project is funded by a Chalmers Energy Area of Advance grant (3M SEK) on "Optimising Fusion with Functional Programming". The project runs 2022-...

Read more
View all


Domain-Specific Languages of Mathematics

BSc level course Domain-Specific Languages of Mathematics (course code DAT326 at Chalmers and DIT982 at UGOT).

BSc projects on "DSLsofMath for other courses"

A recurring BSc project theme for the last few years: develop you own DSLsofMath-inspired material for a topic of your choice.


Follow this website

You need to create an Owlstown account to follow this website.

Sign up

Already an Owlstown member?

Log in