Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Jos Baeten - Home Page

Jos Baeten

Address

Formal Methods Group
Division of Computer Science
Department of Mathematics and Computer Science
Eindhoven University of Technology
P.O. Box 513, NL-5600 MB Eindhoven
The Netherlands

+31 40 2475155
+31 40 2475361 (fax)

Email: josb "at" win.tue.nl

Current Research

Formal methods, in particular process algebra. The best introduction into ACP-style process algebra is the textbook

J.C.M. Baeten & W.P. Weijland, Process algebra, Cambridge Tracts in Theoretical Computer Science 18, Cambridge University Press 1990.

For process algebra with timing, look at:

J.C.M. Baeten and C.A. Middelburg. Process Algebra with Timing. EATCS Monograph, Springer Verlag 2002.

Thanks to the project Keur der Wetenschap all of my publications are available online.

Courses

I am responsible for course 2IT20 on Automata theory and formal languages for first year computer science students. Also, I teach 2IT40, Semantics for third year computer science students. And 2IF01, Process algebra.

Some Positions

Full Professor, Chair of Formal Methods
Member of the board of IPA
Member of the board of EEF
Chair, section Wetenschap en Educatie of the NGI
Member of the board of the NVTI
Chair, steering committee of CONCUR conferences
Professor of ESI.

You can have a look at a brief Curriculum Vitae. Maybe you are also interested in my past or present Ph.D. students.

Jos Baeten / josb "at" win.tue.nl