Formal name: Prof.dr. J.J.M.M. Rutten
Function: Scientific Staff Member
Email: Jan.Rutten@cwi.nl
Telephone: +31(0)20 592 4116
Room: L218
Research groups: Formal Methods
Research
Jan Rutten is senior researcher at CWI (centre for mathematics and computer science) in Amsterdam and professor of theoretical computer science at the Radboud University Nijmegen. He was the founder of present day Universal Coalgebra, which is a general theory of the circular behaviour of automata, dynamical systems and infinite data structures.
He was the (co)initiator of the workshop series Coalgebraic Methods in Computer Science (CMCS) and the Conference on Algebra and Coalgebra in Computer Science (CALCO). He is also a member of the Steering Committee of the conference on Foundations of Software Engineering (FSEN). His current research interests include coalgebraic foundations of computation as well as formal methods for software engineering, notably service-oriented and component-based programming.
Career
| 2013 - | Scientific staff member FM - Formal methods |
| 2012 - 2013 | Scientific staff member SEN3 - Foundations of Software Engineering |
| 2009 - | Full professor Radboud University |
| 2008 - 2013 | Scientific staff member SEN3 - Foundations of Software Engineering |
| 1997 - 2008 | Group leader SEN3 - Foundations of Software Engineering |
| 1985 - 1996 | Scientific staff member AP1 - Computational models |
Selected Academic Activities
| 2010 - | Member working group International Federation for Information Processing - [IFIP] - WG 1.3 |
| 2010 - 2011 | Member program committee International Conference on Concurrency Theory - [CONCUR] |
| 2009 - | Editor Journal: Scientific Annals of Computer Science |
| 2009 - 2010 | Member program committee GlobalComp 2008-2010 |
| 2008 - | Member working group International Federation for Information Processing - [IFIP] - WG 2.2 |
| 2005 - | Editor Journal: Logical Methods in Computer Science - [LMCS] |
| 1995 - | Editor of series Series: Electronic Notes in Theoretical Computer Science - [ENTCS] |
Selected Publications
| C.A. Kupke, J.J.M.M. Rutten. Complete sets of cooperations. Information and Computation 208, 1398–1420, 2010. |
| A. Silva, F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten. Quantitative Kleene coalgebras. Information and Computation 209, 822–849, 2010. |
| A. Silva, M.M. Bonsangue, J.J.M.M. Rutten. Non-deterministic Kleene coalgebras. Logical Methods in Computer Science, 2010. |
| H.H. Hansen, J.J.M.M. Rutten. Symbolic synthesis of Mealy machines from arithmetic bitstream functions. Scientific Annals of Computer Science XX, 97–130, 2010. |
| A. Silva, J.J.M.M. Rutten. A coinductive calculus of binary trees. Information and Computation 208, 578–593, 2010. |
