Jan Bergstra
Use attributes for filter ! | |
Gender | Male |
---|---|
Born | Rotterdam |
Netherlands | |
Education | Utrecht University |
Notable student | Frits W. Vaandrager |
Chris Verhoef | |
Academic advisor | Dirk van Dalen |
Edited works | Algebraic Specification |
Handbook of Process Algebra | |
Books | Promise Theory: Principles and Applications |
Toolbus | |
H index | 55 |
Interests | Meadows |
Instruction Sequences | |
Decision Taking | |
Outsourcing | |
Date of Reg. | |
Date of Upd. | |
ID | 973319 |
Jan Bergstra Life story
Johannes Aldert "Jan" Bergstra is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general.