Home

Research

We develop programming languages, methods and tools that make software more reliable, secure and usable. Members of the group have contributed to the design of Haskell, created property-based testing with QuickCheck, and built domain-specific languages for hardware design (Lava) and digital signal processing (Feldspar). Current work covers functional programming languages and their implementation, type systems, testing, hardware design and verification, and automated reasoning.

We also apply functional programming beyond software: multilingual language technology with Grammatical Framework, dependently typed models for mathematics and climate impact research (see DSLsofMath), reliable and efficient scientific computing, and usable artificial intelligence.

FP talks

We hold a weekly FP talk. Upcoming and past talks (back to 2009) are listed at fptalks.cse.chalmers.se, which also has a calendar feed; talks are also announced on the FP mailing list.

Members

• Aarne Ranta, Professor
• Abhiroop Sarkar, Former PhD Student
• Alejandro Russo, Professor
• Alex Gerdes, Senior Lecturer
• Ana Bove, Associate Professor
• Andreas Abel, Associate Professor
• Carl-Johan (Carl) Seger, Professor Emeritus
• Henrik Jansson Valter, PhD Student
• Inari Listenmaa, Lecturer
• Jean-Philippe Bernardy, Associate Professor
• John Hughes, Professor Emeritus
• John J. Camilleri, Teaching Fellow
• Jonas Almström Duregård, Senior Lecturer
• Koen Claessen, Professor
• Krasimir Angelov, Associate Professor
• Mary Sheeran, Professor Emerita
• Nick Smallbone, Researcher
• Nicola Botta, Adjunct Associate Professor
• Patrik Jansson, Professor
• Peter Ljunglöf, Associate Professor
• Robert Krook, PhD Student
• Yinan Yu, Assistant Professor

Earlier seminar series

Posts

• FP group page update + deploy automation - 2026-10-01
• How to come here to study for a MSc or PhD - 2023-11-01
• Chalmers FP homepage, step 2 - 2023-10-14
• New Chalmers FP group page - 2023-09-19