Patrik Jansson

Professor of Computer Science


Curriculum vitae



+46317725415


Computer Science and Engineering

Chalmers University of Technology

Room number: EDIT-6452
My office is in the EDIT building of campus Johanneberg, near Rännvägen 6.



Patrik Jansson

Professor of Computer Science


Contact

Patrik Jansson

Professor of Computer Science


Curriculum vitae



+46317725415


Computer Science and Engineering

Chalmers University of Technology

Room number: EDIT-6452
My office is in the EDIT building of campus Johanneberg, near Rännvägen 6.




About


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]

Publications


Fluid and kinetic studies of tokamak disruptions using Bayesian optimization


Ida Ekmark, Mattias Hoppe, Tünde Fülöp, Patrik Jansson, Liam Antonsson, Oskar Vallhagen, István Pusztai

Journal of Plasma Physics, 2024-06, 2024


Bayesian optimization of massive material injection for disruption mitigation in tokamaks


I. Pusztai, I. Ekmark, H. Bergström, P. Halldestam, P. Jansson, M. Hoppe, O. Vallhagen, T. Fülöp

Journal of Plasma Physics, vol. 89(2), 2023


Level-p-complexity of Boolean functions using thinning, memoization, and polynomials


Julia Jansson, Patrik Jansson

Journal of Functional Programming, vol. 33, 2023


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


View all

Projects


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.

Posts


Oct 15, 2024

Submitted grant application "Theories and Tools for Climate Policy Exploration"

During the last week or two I have been mainly focused on finishing a grant application for work on "Theories and Tools for Climate Policy Exploration" to the FORMAS agency in Sweden. It is aimed in the same general direction as an earlier proposal: "F...


Read more

May 17, 2024

Energy Nework Day presentation: Optimising Fusion with Functional Programming

On 2024-05-17 I participated at the Chalmers "Energy Network Day" and gave a talk called   "OptiFun: Optimising Fusion with Functional Programming" The 80-100 participants were from many different research fields and also from companies in the energy...


Read more

Apr 9, 2024

Project proposal: "Functional multi-objective optimization under uncertainty"

I've just submitted a grant proposal on "Functional multi-objective optimization under uncertainty" to the Swedish Science Council. This is in the same general direction as the proposals submitted (and rejected) last year (Exploring fair climate polici...


Read more

Mar 25, 2024

FPClimate seminar 1

The PhD course "Functional Programming and Climate Impact Research" started  2024-03-25 with seminar 1 (see introduction slides including exercises). We did a round of introductions, followed by an introduction by Patrik to the course (prerequisites, c... (Link)


Read more

Dec 14, 2023

Can computer science help climate policy making?

Nicola Botta and I have a talk slot at "Programming for the Planet (PROPL)" with the following abstract: The rational of the workshop is that, to tackle the crises induced by CO_2 emissions, we need to translate “a wealth of new data about our natural... (Link)


Read more
View all

Courses


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.


Functional Programming and Climate Impact Research

This is a course aimed at PhD students or MSc students interested in the application of functional programming, domain-specific languages, and dependent types to climate impact research.

Share



Follow this website


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


Sign up

Already an Owlstown member?

Log in