Professor of Computer Science
Google Scholar Profile
DBLP publication list
Mastodon: @[email protected]
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
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
Nicola Botta, Nuria Brede, Patrik Jansson, Tim Richter
J. Funct. Program., vol. 31, Cambridge University Press, 2021
Robert Krook, Patrik Jansson
Proceedings of ACM SIGPLAN Workshop on Type-Driven Development (TyDe’19), ACM, 2019
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
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.
The project has resulted in a BSc level course, a textbook, a GitHub repository and a few other publications.
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...
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...
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)
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)
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-...
BSc level course Domain-Specific Languages of Mathematics (course code DAT326 at Chalmers and DIT982 at UGOT).
A recurring BSc project theme for the last few years: develop you own DSLsofMath-inspired material for a topic of your choice.