Curriculum Vitae - Kurt Jensen
Personal information
- Born May 30, 1950 in Hjørring, Denmark
Current position
- Head of Department of Computer Science, University of Aarhus.
- Professor at Department of Computer Science, University of Aarhus.
- Head of the Steering Committee for the International Petri Net
Community..
- Founder of CPN Group at University of Aarhus.
Academic degrees
- Dr. Scient. in Computer Science, University of Aarhus, 1995: "Coloured
Petri Nets".
- Ph.D. in Computer Science, University of Aarhus, 1980: "Net Models in
System Development".
- Cand. Scient. in Computer Science, Mathematics and Physics, University of Aarhus, 1976.
Research areas
- Coloured Petri Nets. Basic net models, hierarchical nets, analysis methods,
computer tools and industrial applications.
- Earlier, I have also worked with formal semantics, net equivalences and
social impacts of computers.
Major projects
- The CPN Centre on the use of
Coloured Petri Nets for modelling, validation, and capacity planning of
concurrent and distributed systems.
- The CPN Tools project on the development of computer tools for Coloured
Petri Nets.
- The DEVISE project establishing a centre for Experimental System
Development at the Computer Science Department, Aarhus University.
Supported by the Danish National Science Research Council.
- The DESIGN/CPN project on the development of computer tools for Coloured
Petri Nets.
- The UTOPIA project on the development of skill based, user oriented systems
and education for the graphics industry. Supported by the Danish Council of
Technology.
- A project on the impact of computer systems on the service and work
conditions in libraries. Supported by the Danish Research Libraries.
Teaching experience
- Since 1976, teaching computer science at all levels. Teaching areas
include Petri nets, distributed systems, formal semantics, and social
impacts of computers.
- Tutorial talks and invited talks at approximately 25 conferences and
advanced courses, primarily within Petri nets.
Administrative experience
- Head of Department of Computer Science, University of Aarhus.
- Head of the Steering Committee for the International Petri Net
Community..
- Member of the Editorial Board for the Software Tools for Technology Transfer journal.
- Member of approximately 30 program committees and international
committees, primarily within Petri nets; three times as PC-chairman
and twice as organising chairman.
- Referee for at least 25 different international journals.
Publications and invited talks
- Author of a 3-volume monograph on Coloured Petri Nets, Basic Concepts,
Analysis Methods and Practical Use.
- Invited talks at Petri Nets 1989, Euromicro 1996, TACAS 1997, Petri Nets 2003,
and at more than 20 conferences, workshops, tutorials and advanced courses.
- Editor-in-chief for Transactions on Petri Nets and Other Models of Concurrency.
- Editor of four special sections on Coloured Petri Nets and high-level Petri Nets in the Software Tools for Technology Transfer journal.
- Editor of two special sections on Tools and Algorithms for the Construction and Analysis
of Systems in Theoretcial Computer Science and the Software Tools for Technology Transfer journal.
- Author or more than 30 papers in journals and other strictly refereed
publications.
- For more information
click here.
Positions held
- 1999 --- Professor, Department of Computer Science,
University of Aarhus.
- 1990-99 Associate Professor, Department of Computer Science, University of Aarhus.
- 1988-90 Senior Research Officer, Meta Software, Massachusetts, USA.
- 1981-88 Associate Professor, Department of Computer Science, University of Aarhus.
- 1978-80 Scholarship, Department of Computer Science, University of Aarhus.
- 1976-77 Assistant Professor, Department of Computer Science, University of Aarhus.
Other interests
- Agility and Obedience Competitions for Dogs.
- Former Danish Champion in Orienteering Racing.
Modification Date?