Wouter Swierstra

Dr. Wouter Swierstra is an Associate Professor in the Software Technology group within the Faculty of Science at Utrecht University. His research focuses on functional programming, type theory, and program verification, with particular expertise in dependently typed programming languages like Agda.

His research interests span several key areas in programming language theory and implementation:

• Functional programming language design and implementation
• Dependent types and formal verification
• Program transformation and derivation
• Generic programming techniques
• Formal methods for blockchain and smart contracts
• Hardware verification using domain-specific languages

Swierstra's recent work shows a strong trend toward applying formal methods to practical problems, particularly in the areas of blockchain technology and hardware verification. His publications demonstrate expertise in both theoretical foundations of programming languages and their practical applications. He has made significant contributions to the understanding of data structures in functional settings, program derivation techniques, and verification methodologies.

Dr. Swierstra teaches courses related to functional programming, including "Advanced functional programming" and "Logic for Computer Science," helping to train the next generation of programming language researchers and practitioners.