Google Scholar Profile
DBLP publication list
Mastodon: @[email protected]
Publications
Domain-specific tensor languages
Jean-Philippe Bernardy, Patrik Jansson
J. Funct. Prog., vol. 35, Cambridge University Press (CUP), 2025
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
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
Functional multi-objective optimization under uncertainty
I have just submitted a grant application to the Swedish Science Council with the title "Functional multi-objective optimization under uncertainty". If granted it would pay for a PhD student + supervision time. The topic is an update on the series of ...
Read more
Cambridge visit
I've just given a talk in Cambridge on "Optimising Sustainable Energy with Functional Programming" and the recording is available on YouTube: https://youtu.be/NhFhJS4NHDM?si=HlRyz0BdXUdgLvNO as part of the Cambridge Energy and Environment Group talks...
Read more
BSc Project proposals 2024/25
Below are two proposals for "BSc projects" I have offered for the srping 2024 instance of the big "BSc project course" here in Gothenburg. There are around 5 students in a group, and each student is expected to "work for" 15hec, during spring 2024 (thu...
Read more
Talk: "Optimising Sustainable Energy with Functional Programming"
On 2024-11-06 I delivered a talk at Kellogg College, Oxford on "Optimising Sustainable Energy with Functional Programming". Here are links to slides, the event, and the video recording. Abstract: This talk describes some results from a collaboration ... (Link)
Read more
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
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.