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 2463992 (fax)

Email: josb@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.

Have a look at my papers. Some are available electronically.

Courses

I am responsible for course 2M920 on process algebra for second or third year computer science students. Also, I teach 2R440, Introduction to formal methods, for fourth year computer science students.

Some Positions

Full Professor, Chair of Formal Methods
Member of the board of EEF
Director of SAI
Chair, section WEI of the NGI
Member of the board of the NVTI
Chair, steering committee of CONCUR conferences
Professor of EESI.

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@win.tue.nl