Joe Wells

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 theoretical computer science, formal methods, and programming languages, with emphasis on type systems, lambda calculus, and formal semantics. He has contributed to foundational areas such as generalized set theories and formal proof environments.

His research interests include the intersection of mathematics and computer science, particularly in areas like type inference, formal verification, and mathematical markup. Notable contributions include work on Isabelle/HOL/GST, a formal proof environment, and semantic markup systems for mathematical documents.

Wells has been recognized with the 2017/18 Teaching Excellence Award (Global Learning and Teaching Award, Highly Commended) for his educational contributions. His research spans over two decades, with publications in conferences like Intelligent Computer Mathematics (CICM) and WoLLIC. He collaborates with institutions and researchers globally, advancing interdisciplinary approaches to formal methods and computational logic.