World's Best Scientists 2026 revealed!
Award Badge
Computer Science
Netherlands
2025

D-Index & Metrics

Computer Science

D-Index
57
Citations
14590
World Ranking
3796
National Ranking
43

Research.com Recognitions

  • 2025 - Research.com Computer Science in Netherlands Leader Award
  • 2022 - Research.com Computer Science in Netherlands Leader Award
  • 2011 - Royal Netherlands Academy of Arts and Sciences
  • 2006 - Member of Academia Europaea

Overview

Jan A. Bergstra is affiliated with the University of Amsterdam in the Netherlands and has contributed extensively to the field of computer science, with a strong focus on computational theory, mathematics, and artificial intelligence. Their work spans multiple subfields, including computational theory and mathematics, artificial intelligence, mathematical physics, theoretical computer science, and software.

The research topics covered by Bergstra include logic, programming, and type systems; computability, logic, and AI algorithms; mathematical and theoretical analysis; advanced algebra and logic; logic, reasoning, and knowledge; history and theory of mathematics; and numerical methods and algorithms.

Bergstra's recent papers include:

  • Arithmetical Datatypes, Fracterms, and the Fraction Definition Problem, 2020, published in Transmathematica
  • On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness, 2022, published in The Computer Journal
  • Review of Suppes 1957 Proposals For Division by Zero, 2021, published in Transmathematica
  • The Transrational Numbers as an Abstract Data Type, 2020, published in Transmathematica
  • Candidate Software Process Flaws for the Boeing 737 Max MCAS Algorithm and Risks for a Proposed Upgrade, 2020, published in arXiv (Cornell University)

The predominant venues where Bergstra has published work include Transmathematica, Scientific Annals of Computer Science, arXiv (Cornell University), SSRN Electronic Journal, and The Computer Journal.

Jan A. Bergstra has collaborated frequently with several researchers, including:

  • John V. Tucker
  • Alban Ponse
  • Marcus Düwell
  • C.A. Middelburg
  • James A. Anderson

Bergstra's recognized achievements include membership in the Royal Netherlands Academy of Arts and Sciences as of 2011 and membership of Academia Europaea since 2006.

Best Publications

  • Process algebra for synchronous communication

    Jan A. Bergstra;Jan Willem Klop

  • Algebra of communicating processes with abstraction

    Jan A. Bergstra;Jan Willem Klop

  • Handbook of Process Algebra

    J. A. Bergstra;A. Ponse;Scott A. Smolka

  • Real time process algebra

    Jcm Jos Baeten;JA Jan Bergstra;JA Jan Bergstra

  • Algebraic specification

    J. A. Bergstra;Jan Heering;Paul Klint

  • Conditional rewrite rules: confluence and termination

    J.A. Bergstra;Jan Willem Klop

  • The Algebra of Recursively Defined Processes and the Algebra of Regular Processes

    Jan A. Bergstra;Jan Willem Klop

  • Module algebra

    J. A. Bergstra;J. Heering;P. Klint

  • Syntax and defining equations for an interrupt mechanism in process algebra

    Jcm Jos Baeten;JA Jan Bergstra;JW Jan Willem Klop

  • On the consistency of Koomen's fair abstraction rule

    J. C. M. Baeten;J. A. Bergstra;J. W. Klop

  • Algebra of communicating processes

    J.A. Bergstra;Jan Willem Klop

  • Decidability of bisimulation equivalence for process generating context-free languages

    J. C. M. Baeten;J. A. Bergstra;J. W. Klop

  • Global renaming operators in concrete process algebra

    J. C. M. Baeten;J. A. Bergstra

  • A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method

    Jan A. Bergstra;J. V. Tucker

  • The discrete time TOOLBUS—a software coordination architecture

    J. A. Bergstra;J. A. Bergstra;P. Klint

  • Decidability of bisimulation equivalence for processes generating context-free languages

    Jos C. M. Baeten;Jan A. Bergstra;Jan A. Bergstra;Jan Willem Klop

  • Program algebra for sequential code

    Jan A. Bergstra;Jan A. Bergstra;M. E. Loots

  • Process Algebra with Iteration and Nesting

    Jan A. Bergstra;Inge Bethke;Alban Ponse

  • The rational numbers as an abstract data type

    J. A. Bergstra;J. V. Tucker

  • Verification of an alternating bit protocol by means of process algebra protocol

    J. A. Bergstra;J. W. Klop

  • Axiomatizing probabilistic processes: ACP with generative probabilities

    J. C. M. Baeten;J. A. Bergstra;S. A. Smolka

Frequent Co-Authors

Jan Willem Klop
Jan Willem Klop Vrije Universiteit Amsterdam
Paul Klint
Paul Klint Centrum Wiskunde & Informatica
John-Jules Ch. Meyer
John-Jules Ch. Meyer Utrecht University
Wan Fokkink
Wan Fokkink Vrije Universiteit Amsterdam
Sjouke Mauw
Sjouke Mauw University of Luxembourg
Krzysztof R. Apt
Krzysztof R. Apt Centrum Wiskunde & Informatica
Ernst-Rüdiger Olderog
Ernst-Rüdiger Olderog Carl von Ossietzky University of Oldenburg
Scott A. Smolka
Scott A. Smolka Stony Brook University
Martin Wirsing
Martin Wirsing Ludwig-Maximilians-Universität München
Manfred Broy
Manfred Broy Technical University of Munich

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

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens up diverse and flexible learning opportunities. Many students pursue specialized or related online programs that provide a strong foundation and clear career direction.

If you have an interest in the fundamentals of technology and the physical world, consider enrolling in an online physics bachelor's degree. This route lays the groundwork for careers in technology, engineering, and research, and can serve as an alternative entryway into computer science fields.

For those driven by data and analytics, earning a data scientist degree is a popular choice. Data science is one of the fastest-growing areas within tech, offering robust career prospects and strong earning potential.

Interested in blending hardware with software? Consider the real-world online electrical engineering career outcomes. This path can lead to roles in innovation, design, and development within high-demand industries.

For quick skill enhancement, some opt for 3-month certificate programs that pay well. These short certificates can boost your resume and open immediate job opportunities in technology or information systems.

Best Scientists Citing Jan A. Bergstra

Trending Scientists