Patrik Jansson
Professor of Computer Science
Patrik Jansson
Professor of Computer Science
About
Google Scholar Profile
DBLP publication list
Mastodon: @[email protected]
Publications
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
Domain-Specific Languages of Mathematics
Patrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy
Texts in Computing, vol. 24, College Publications, https://www.collegepublications.co.uk/computing/?00024, 2022 Jan, p. 268
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
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
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
Paper on Level-p-complexity with Haskell now published by JFP
We are happy to report that the paper "Level-p-complexity of Boolean functions using thinning, memoization, and polynomials" has now appeared in the Journal of Functional Programming: doi:10.1017/S0956796823000102 with source code on github:juliajansso... (Link)
Read more
Domain-Specific Tensor Languages
After a few rejections elsewhere (ICFP'23, POPL'24), the much improved paper on Domain-Specific Tensor Languages has now been submitted to JFP for review and uploaded to arXiv for reference. Comments welcome! Domain-Specific Tensor Languages Jean-Phi... (Link)
Read more
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
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.