Patrik Jansson

Patrik Jansson is a Professor of Computer Science in the Department of Computer Science and Engineering at Chalmers University of Technology and the University of Gothenburg. He holds a PhD and MSc from Chalmers. As a Visiting Fellow of Kellogg College since 2024, he collaborates with Prof Jeremy Gibbons. His research focuses on programming languages, functional programming, and domain-specific languages, aiming to construct correct and reusable software systems. Applications span climate impact research, language technology, and foundational type theory. His recent work includes Bayesian optimization for fusion reactor disruptions and formal methods in sequential decision problems.

Education:

• PhD in Computer Science, Chalmers University
• MSc in Computer Science, Chalmers University

Research Interests: Patrik explores domain-specific languages (DSLs) for mathematics and scientific computing, leveraging functional programming paradigms. His work emphasizes rigorous type systems, formal verification, and the application of programming language theory to real-world challenges like climate modeling and fusion energy research. Current projects include optimizing plasma disruptions in tokamaks and developing DSL frameworks for uncertainty-aware decision-making.

Grants & Collaborations: His research has received prestigious grants, including involvement in initiatives like CHAIR (Chalmers AI Research Centre) and collaborations with industry partners such as Volvo Cars and Sahlgrenska University Hospital. He contributes to cross-disciplinary efforts in AI-driven health technologies and distributed systems.

Labs & Teams: Active in the Computer and Network Systems division, focusing on high-performance computing, secure communication, and embedded systems. He co-leads projects on AI security and health engineering through the Chalmers Sahlgrenska Health Engineering Alliance.