معرفی
Gopalan Nadathur is a Professor in the Department of Computer Science and Engineering at the University of Minnesota, where he works in the Teyjus Project developing an efficient implementation of λProlog. His research focuses on higher-order logic programming, lambda calculus representations, and explicit substitution mechanisms with applications in formal verification and meta-programming.
- Key projects: Abella theorem prover, Bedwyr model checker
- Editorial roles: Theory and Practice of Logic Programming, Journal of Functional and Logic Programming
- Conference involvement: IEEE Symposium on Logic in Computer Science (2009), International Workshop on Logical Frameworks (2009)
He has developed specialized techniques for:
- Higher-order pattern unification
- Modular logic programming
- Intensional lambda term reduction
- Binding structure representation
۰مقاله منتشرشده
