Josephus C.M. Baeten | |
---|---|
Born | |
Awards | Officer of the Order of Orange-Nassau |
Academic background | |
Alma mater | University of Minnesota |
Doctoral advisor | Wayne Richter |
Academic work | |
Discipline | Computer science,mathematics |
Institutions | Eindhoven University of Technology,University of Amsterdam,Centrum Wiskunde &Informatica |
Josephus C.M. Baeten (born 15 June 1954) is a Dutch computer scientist [1] and mathematician,who has published on process calculus,concurrency theory,formal methods,model-based software engineering,model-based systems engineering and theory of computation. [2] [3]
Jos Baeten was born in Tilburg. He received his Ph.D. from the University of Minnesota in 1985,advised by Wayne Richter.[ citation needed ]
He was a researcher at Centrum Wiskunde &Informatica (CWI) and the University of Amsterdam until 1991,when he was appointed as a full professor at the Eindhoven University of Technology. There,he was professor at the Department of Mathematics and Computer Science from 1991 until 2015 (in two periods,he was dean of the department),and professor at the Department of Mechanical Engineering from 2010 until 2012. In 2011,he returned to CWI as its director,and in 2015,he returned to the University of Amsterdam as professor of theory of computing at the Institute of Logic,Language and Computation. He retired from both positions in 2020,and at that time became a CWI Fellow.
Baeten chaired the steering committee of the CONCUR conferences 1991-2018 and was president of ERCIM 2018-2019. [4] Since 2010,he is a member of the Koninklijke Hollandsche Maatschappij der Wetenschappen. [5]
During the 75th anniversary of CWI,he received a royal decoration of Officer in the Order of Orange-Nassau. [6]
The Centrum Wiskunde &Informatica is a research centre in the field of mathematics and theoretical computer science. It is part of the institutes organization of the Dutch Research Council (NWO) and is located at the Amsterdam Science Park. This institute is famous as the creation site of the programming language Python. It was a founding member of the European Research Consortium for Informatics and Mathematics (ERCIM).
Adriaan "Aad" van Wijngaarden was a Dutch mathematician and computer scientist. Trained as a mechanical engineer,Van Wijngaarden emphasized and promote the mathematical aspects of computing,first in numerical analysis,then in programming languages and finally in design principles of such languages.
Nitin Saxena is an Indian scientist in mathematics and theoretical computer science. His research focuses on computational complexity.
Hendrik Willem Lenstra Jr. is a Dutch mathematician.
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.
Albert Nijenhuis was a Dutch-American mathematician who specialized in differential geometry and the theory of deformations in algebra and geometry,and later worked in combinatorics.
The ARRA was the first Dutch computer,and was built from relays for the Dutch Mathematical Centre,which later became the Centrum Wiskunde &Informatica (CWI).
Onno Johan Boxma is a Dutch mathematician,and Professor at the Eindhoven University of Technology,known for several contributions to queueing theory and applied probability theory.
Andries Evert Brouwer is a Dutch mathematician and computer programmer,Professor Emeritus at Eindhoven University of Technology (TU/e). He is known as the creator of the greatly expanded 1984 to 1985 versions of the roguelike computer game Hack that formed the basis for NetHack. He is also a Linux kernel hacker. He is sometimes referred to by the handle aeb.
Paul Michael Béla Vitányi is a Dutch computer scientist,Professor of Computer Science at the University of Amsterdam and researcher at the Dutch Centrum Wiskunde &Informatica.
Piet Beertema is a Dutch Internet pioneer. On November 17,1988 at 2:28 PM,he linked the Netherlands as the second country to NSFNET,a precursor to the Internet. Beertema was then working as an administrator at the Centrum Wiskunde &Informatica (CWI) in Amsterdam.
Jan Karel Lenstra is a Dutch mathematician and operations researcher,known for his work on scheduling algorithms,local search,and the travelling salesman problem.
Alexander (Lex) Schrijver is a Dutch mathematician and computer scientist,a professor of discrete mathematics and optimization at the University of Amsterdam and a fellow at the Centrum Wiskunde &Informatica in Amsterdam. Since 1993 he has been co-editor in chief of the journal Combinatorica.
Harry Buhrman is a Dutch computer scientist,currently Professor of algorithms,complexity theory,and quantum computing at the University of Amsterdam (UvA),group leader of the Quantum Computing Group at the Centrum Wiskunde &Informatica (CWI),and executive director of QuSoft,the Dutch research center for quantum software.
Constance van Eeden was a Dutch mathematical statistician who made "exceptional contributions to the development of statistical sciences in Canada". She was interested in nonparametric statistics including maximum likelihood estimation and robust statistics,and did foundational work on parameter spaces.
Bettina Speckmann is a German computer scientist who heads the Applied Geometric Algorithms group in the Department of Mathematics and Computer Science of Eindhoven University of Technology in Eindhoven,Netherlands,where she is a professor. The main topics of her research are computational geometry and information visualization,especially focusing on the geometry and visualization of objects in motion.
Ute M. Ebert is a German physicist known for her research on plasma physics and electric discharge in gases. She is a researcher in the Netherlands at the Centrum Wiskunde &Informatica,where she heads the research group on multiscale dynamics,and a part-time full professor at the Eindhoven University of Technology,affiliated with the Elementary Processes in Gas Discharges group.
Alice Geraldine Baltina ter Meulen is a Dutch linguist,logician,and philosopher of language whose research topics include genericity in linguistics,intensional logic,generalized quantifiers,discourse representation theory,and the linguistic representation of time. She is a professor emerita at the University of Geneva.
Jacobus Willem (Jaco) de Bakker was a Dutch theoretical computer scientist and professor at the Vrije Universiteit Amsterdam.
Krzysztof R. Apt is a Polish computer scientist. He defended his PhD in mathematical logic in Warsaw,Poland in 1974. His research interests include program correctness and semantics,use of logic as a programming language,distributed computing,and game theory. Besides his own research,he has been heavily involved in service to the computing community,notably by promoting the use of logic in computer science and by advocating open access to scientific literature.