2026 Andrew M. Pitts: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	37	10557	10259	665	657	142	7961

Research.com Recognitions

2012 - ACM Fellow For contributions to the theory of programming language semantics.

Overview

Andrew M. Pitts is affiliated with the University of Cambridge in the United Kingdom. Their research primarily spans the fields of Computer Science and Mathematics, with a focus on subfields such as Artificial Intelligence, Computational Theory and Mathematics, Geometry and Topology, Mathematical Physics, and Hardware and Architecture.

The main topics covered in their work include:

Logic, Reasoning, and Knowledge
Logic, programming, and type systems
Advanced Algebra and Logic
Homotopy and Cohomology in Algebraic Topology
Advanced Topology and Set Theory
Computability, Logic, AI Algorithms
Algebraic Geometry and Number Theory

Their recent publications include:

"Locally Nameless Sets," 2023, Proceedings of the ACM on Programming Languages
"Quotients, inductive types, and quotient inductive types," 2022, Logical Methods in Computer Science
"Constructing Initial Algebras Using Inflationary Iteration," 2022, Electronic Proceedings in Theoretical Computer Science
"Constructing Initial Algebras Using Inflationary Iteration," 2021, arXiv (Cornell University)

Other notable publications by coauthors associated with Pitts include "MJ: An imperative core calculus for Java and Java with effects," published in 2021 in Clinical Rheumatology.

The frequent coauthors collaborating with Andrew M. Pitts are:

S. C. Steenkamp
Marcelo Fiore
Gavin Bierman
Matthew Parkinson

Their work has been disseminated in various venues, notably:

Apollo (University of Cambridge)
arXiv (Cornell University)
Logical Methods in Computer Science
Proceedings of the ACM on Programming Languages
Electronic Proceedings in Theoretical Computer Science

Andrew M. Pitts was recognized as an ACM Fellow in 2012 for contributions to the theory of programming language semantics.

Best Publications

A New Approach to Abstract Syntax with Variable Binding

Murdoch J. Gabbay;Andrew M. Pitts

703
Citations
Nominal Logic: A First Order Theory of Names and Binding

Andrew M. Pitts

642
Citations
A new approach to abstract syntax involving binders

M. Gabbay;A. Pitts

408
Citations
Nominal Logic: A First Order Theory of Names and Binding

Unknown

364
Citations
Nominal unification

Christian Urban;Andrew M. Pitts;Murdoch J. Gabbay

316
Citations
Nominal Sets: Names and Symmetry in Computer Science

Andrew M. Pitts

296
Citations
Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?

Andrew M. Pitts;Ian D. B. Stark

269
Citations
Relational Properties of Domains

Andrew M. Pitts

267
Citations
Operational reasoning for functions with local state

A. M. Pitts;I. D. B. Stark

255
Citations
Parametric polymorphism and operational equivalence

Andrew M. Pitts

238
Citations
Categorical logic

Andrew M. Pitts

233
Citations
FreshML: programming with binders made simple

Mark R. Shinwell;Andrew M. Pitts;Murdoch J. Gabbay

230
Citations
On an interpretation of second order quantification in first order intuitionistic propositional logic

Andrew M. Pitts

224
Citations
Category Theory and Computer Science

David H. Pitt;David E. Rydeheard;Peter Dybjer;Andrew M. Pitts

210
Citations
Categorical logic

Unknown

202
Citations
Operational semantics and program equivalence

Andrew M. Pitts

190
Citations
Polymorphism is Set Theoretic, Constructively

Andrew M. Pitts

173
Citations
MJ: An imperative core calculus for Java and Java with effects

G.M. Bierman;M.J. Parkinson;A.M. Pitts

172
Citations
A Metalanguage for Programming with Bound Names Modulo Renaming

Andrew M. Pitts;Murdoch Gabbay

168
Citations
Semantics and Logics of Computation: Operationally-Based Theories of Program Equivalence

Unknown

153
Citations
Higher order operational techniques in semantics

Andrew D. Gordon;Andrew M. Pitts

139
Citations
Alpha-structural recursion and induction

Andrew M. Pitts

131
Citations
A co-induction principle for recursively defined domains

Andrew M. Pitts

117
Citations
Semantics and Logics of Computation

Andrew M. Pitts;P. Dybjer

106
Citations

Frequent Co-Authors

Andrew D. Gordon Microsoft (United States)

Artur Czumaj University of Warwick

Kurt Mehlhorn Max Planck Institute for Informatics

Tim Sheard Portland State University

Lars Birkedal Aarhus University

Roger Wattenhofer ETH Zurich

Carolyn L. Talcott SRI International

Ugo Montanari University of Pisa

Catuscia Palamidessi French Institute for Research in Computer Science and Automation - INRIA

Glynn Winskel University of Cambridge

External Links

Personal website of Andrew M. Pitts

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

If you’re exploring Computer Science in the USA, you may also be interested in related online degree options that can shape dynamic career pathways. Many universities now offer flexible and accessible programs to suit various schedules and goals. For those looking to jumpstart their careers quickly, consider the fastest computer science degree programs. These accelerated options can help you enter the tech field sooner, often without sacrificing quality.

Beyond computer science, STEM fields like engineering and physics are now widely available online. If you have an interest in sustainability, an environmental engineer degree online could open doors to designing eco-friendly solutions. Likewise, an online mechanical engineering degree is ideal for those drawn to manufacturing, robotics, or automotive industries.

Finally, for science enthusiasts, you might wonder, can you get a physics degree online? The answer is yes—many institutions provide online physics programs that combine theoretical education with virtual labs, preparing you for diverse scientific careers. Explore these options to find the pathway that best fits your ambitions.