معرفی
Roel Bloo is a University Lecturer in the Department of Mathematics and Computer Science at Eindhoven University of Technology. His research group focuses on Algorithms and Logics for Verification.
His research spans theoretical computer science with emphasis on:
- Formal methods and verification techniques
- Lambda calculus and type systems
- Computational logic and term rewriting
- Explicit substitution models
Publications (2001-2012) demonstrate consistent specialization in foundational aspects of computer science, particularly formal semantics of programming languages, type theory implementations, and equivalence proofs in computational systems. Teaching responsibilities include courses in Discrete Mathematics, Logic and Set Theory, and Automata Theory.
۰مقاله منتشرشده
