معرفی
Thomas Ekström Hansen is a Research Fellow at the School of Computer Science, University of St Andrews, UK. His work focuses on programming language theory and formal verification methods. Contact: teh6@st-andrews.ac.uk.
- Research interests: Type-level programming, model checking, software specification, and correctness verification.
- Recent work: Developed type-level property-based testing frameworks with applications in protocol validation.
۰مقاله منتشرشده
