معرفی
Joe Wells is a Senior Research Fellow at the School of Mathematical & Computer Sciences, Department of Computer Science, Heriot-Watt University. His research focuses on type systems, formal methods, and foundational aspects of computer science and mathematics. He has contributed to areas including calculi, set theories, and formal proof environments.
His research interests include the theoretical underpinnings of programming languages, mathematical logic, and the development of tools for semantic markup of mathematical documents. His work often intersects with automated reasoning and formal verification systems.
Wells has been recognized with the 2018 Global Learning and Teaching Award (Highly Commended) for contributions to educational excellence. His recent publications explore topics such as generalized set theories and type systems, demonstrating a commitment to advancing foundational computer science research.
