KNAW

Back to search results
Person

Prof.dr. J.W. Klop

Pagina-navigatie:


Update Persondata


Expertise Applied logic
Expertise (NL) Toegepaste logica
Digital Author ID info:eu-repo/dai/nl/304652598
KNAW member Science Division
Addition Scientific CWI Staff Member Specification and Analysis of Embedded Systems

Active as

Professor emeritus
Organisation Section Theoretical Computer Science (VU)
Chair (EN) Applied logic
Chair (NL) Toegepaste logica
Phone +31-20-5987751
Email JW. Klop -at- few. vu. nl
URL http://www.cs.kun.nl/staff/Jan.Willem.Klop
Researcher
Organisation Center for Mathematics and Computer Science (NWO)
Phone +31-20-5924224
Email J. W. Klop -at- cwi. nl

Publications

Reflections on a geometry of processes
Some Remarks on Definability of Process Graphs
Computing with actions and communications
Some Remarks on Definability of Process Graphs
Iterative Lexicographic Path Orders, in Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the occasion of his 65th Birthday
All publications..

Enhanced publications

Doctoral Thesis: What to do next? Analysing and optimising system behaviour in time

Current research

(the most recent research is at the top)
Project leader Clock Semantics for Lambda Calculus
Project leader Lazy Productivity
Project leader Proving equations for cyclic objects

Completed research projects

(the most recent research is at the top)
Project leader Geometry of processes
Researcher Specification and analysis of embedded systems (SEN2)

Classification

D11100 Logic, set theory and arithmetic
D16100 Computer systems, architectures, networks
D16300 Theoretical computer science

Go to page top
Go back to contents
Go back to site navigation