Our People

Professor Patrik Jansson

Visiting Fellow

Professor of Computer Science

Department of Computer Science, Kellogg College

PhD, MSc (Chalmers)

Patrik Jansson is a professor in the Computer Science and Engineering Department, joint between Chalmers University of Technology and University of Gothenburg, Sweden. His main research areas are Programming Languages, Functional Programming, Domain-Specific Languages, and their application to climate, physics, etc. His research focus is on systems for constructing correct and reusable software. The goal is to develop the programming languages of the future and theories, tests and proofs of correctness of high-level models of complex systems. Important techniques include functional programming, domain-specific languages and type theory. Examples of applications are climate impact research and language technology but many results are also curiosity driven basic research with generic applicability in most areas.

Recent publications

Recent publications include the book Domain-Specific Languages of Mathematics, and the papers “Responsibility Under Uncertainty: Which Climate Decisions Matter Most?”, “Level-p-complexity of Boolean functions using thinning, memoization, and polynomials”, and “Bayesian optimization of massive material injection for disruption mitigation in tokamaks” – all his publications can be found at Google Scholar.

Patrik is a Visiting Fellow of Kellogg College from Michaelmas term 2024, visiting Prof Jeremy Gibbons.