Jeroen Ketema

About

dr. Jeroen Ketema

Research Interests

Non-exhaustive list in arbitrary order:

• Term rewriting: infinitary rewriting, Böhm-trees, higher-order rewriting, λ-calculus, confluence
• Verification: model checking, Hoare logic based automated verification, GPGPU software, railway interlockings
• Semantics of programming languages

Further Details

• Contact information
• Publications
• GitHub repositories

Past Service

• ERC member, European Conference on Object-Oriented Programming (ECOOP 2019)
• PC member, 7th International Workshop on Confluence (IWC 2018)
• PC member, 8th International Workshop on Higher-Order Rewriting (HOR 2016)
• PC member, 25th International Conference on Rewriting Techniques and Applications (RTA 2014)
• PC member, 3rd Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2014)
• PC member, Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES 2014)
• PC co-chair, 11th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2013)