Kurt Jensen
|
Professor, Head of Department, Dr. Scient and PhD in Computer Science. Mail address
Department of Computer Science
|
|
Research areas
IT, Computer Science and Mathematics
Software Systems
►
Experimental systems development
Software Systems
►
Model-driven systems development
Software Systems
►
Modelling and validation of distributed systems
► Coloured Petri Nets
Software Systems
►
Simulation and analysis tools
Software Systems
►
Software specification and verification
Theoretical Computer Science
►
Capacity planning
Theoretical Computer Science
►
Programming languages and formal models
Head of Department of Computer Science
How to find My Office
(Press car-icon in upper left corner to get driving instructions)
Head of CPN Group
Short Paper on Coloured Petri Nets
Publications in Petri Net Bibliography
My three Border Collies (Emma, Moss and Saga)
