Patrik Jansson
Professor of Computer Science
Patrik Jansson
Professor of Computer Science
About
Google Scholar Profile
DBLP publication list
Mastodon: @[email protected]
Publications
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
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
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
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
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
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
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
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
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.
