Jan Rutten

Full Name
Prof.dr. J.J.M.M. Rutten
Function(s)
Scientific Staff Member, Professor - Radboud Universiteit
Email
Jan.Rutten@cwi.nl
Telephone
+31 20 592 4116
Room
L218
Department(s)
Formal Methods

Publications

Current projects with external funding

  • Enhancing efficiency and expressiveness of the coinduction proof method (EcoPro)

Professional activities

  • Member: Member of the British Engineering and Physical Sciences Research Council (EPSRC).
  • Chair: IPM International Symposium on Fundamentals of Software Engineering - [FSEN] -
  • Chair: British Engineering and Physical Science Research
  • Committee member: International Federation for Information Processing - [IFIP] - WG 2.2
  • Committee member: International Federation for Information Processing - [IFIP] - WG 1.3
  • Committee member: International Workshop on Coalgebraic Methods in Computer Science - [CMCS]
  • Committee member: Conference on Algebra and Coalgebra in Computer Science - [CALCO] 2015-01
  • Editor: Series: Semantic Structures in Computation
  • Editor: Series: Electronic Notes in Theoretical Computer Science - [ENTCS]
  • Editor: Journal: Logical Methods in Computer Science - [LMCS]
  • Editor: Journal: Scientific Annals of Computer Science

Awards

  • Elsevier Theoretical Computer Science (TCS) ᅠAward for the paper "Universal coalgebra" as the most cited paper published in 2000.The paper belongs to the top 10 most cited paper of all (11000 + )papers ever published in TCS. (2015)