معرفی
James McKinna is an Associate Professor in the School of Mathematical & Computer Sciences at Heriot-Watt University. His research focuses on foundational aspects of programming languages, type theory, and formal methods. He has contributed extensively to areas such as syntax with bindings, type systems, and formal verification. His work often explores the interplay between theoretical computer science and practical programming language implementations.
Key research interests include:
- Type Theory & Dependent Types
- Syntax & Binding Mechanisms
- Formal Semantics of Programming Languages
- Automated Reasoning & Proof Systems
- Functional Programming & Compiler Design
Recent research trends show a focus on advancing foundational techniques for syntax manipulation, type-safe programming constructs, and bidirectional transformations. His publications span topics like blame tracking in hybrid types, structural subtyping, and coalgebraic approaches to bidirectional systems.
While not explicitly listed, his work demonstrates engagement with grant-funded research through collaborative projects and international publications. No specific grants or awards are mentioned in the provided texts.
