Aarhus University Seal / Aarhus Universitets segl

Kurt Jensen

Professor

Curriculum Vitae

Personlig information

  • Født 30. maj 1950 i Hjørring, Danmark.
  • Gift med Iben Antonsen. 

Nuværende job

  • Professor på Institut for Datalogi, Aarhus Universitet.  

Uddannelse

  • Doktorgrad inden for datalogi, Aarhus Universitet, 1995: "Coloured Petri Nets".
  • Ph.D. inden for datalogi, Aarhus Universitet, 1980: "Net Models in System Development".
  • Kandidatgrad inden for datalogi, matematik og fysik, Aarhus Universitet, 1976.

Forskningsområder

  • Farvede Petri Net, modelleringssprog, analyse metoder, computer værktøjer og industrielle anvendelser.
  • Tidligere har jeg også arbejdet med formel semantik, net ækvivalenser og ”datalogi og samfund”.

Større projekter

  • CPN Centre – Brug af Farvede Petri net til modellering, validering og kapacitetsplanlægning for distribuerede systemer.
  • CPN Tools - Udvikling af computer værktøjer til Farvede Petri Net
  • DEVISE  - Center for Eksperimentel Systemudvikling (støttet af Statens Naturvidenskabelige Forskningsråd)
  • DESIGN/CPN – Udvikling af computer værktøjer til Farvede Petri Net
  • UTOPIA – Udvikling af ombrydningssystemer for den grafiske branche (støttet af Teknologirådet).
  • Anvendelse af IT i danske forskningsbiblioteker.

Undervisning

  • Har siden 1976 undervist og vejledt på alle niveauer af universitetsuddannelser, primært om Farvede Petri Net og distribuerede systemer.
  • Tutorials ved mere end 25 konferencer, workshops, og advanced courses.

Tillidshverv

  • Formand for styrekomiteen for det internationale Petri net samfund (2004-2011).
  • Medlem af styrekomiteen for det internationale Petri net samfund (1985-2013).
  • Medlem af ca. 30 programkomiteer og internationale komiteer, primært indenfor Petri net; tre gange som programkomite formand og tre gange som konferencearrangør.
  • Reviewer for ca. 25 forskellige internationale tidsskrifter.

Publikationer og inviterede foredrag 

  • Forfatter af fire lærebøger om Farvede Petri Net.
  • Inviterede foredrag på Petri Nets 1989, Euromicro 1996, TACAS 1997, Petri Nets 2003 og JAOO 2006 samt konferencer i Mexico og Brasilien.
  • Editor-in-chief for Transactions on Petri Nets and Other Models of Concurrency.
  • Medlem af editorial board for tidskriftet Software Tools for Technology Transfer (1998-2013).
  • Editor for fire temanumre om ”Farvede Petri Net” og ”Højniveau Petri Net” i tidsskriftet Software Tools for Technology Transfer.
  • Editor for to temanumre om ”Værktøjer og algoritmer til konstruktion og analyse af systemer” i tidsskrifterne Theoretical Computer Science og Software Tools for Technology Transfer.
  • Forfatter af mere end 40 papirer i tidsskrifter og andre reviewede publikationer.
  • 15.000 citationer.

Ansættelser

  • 1999 --      Professor, Institut for Datalogi, Aarhus Universitet.
  • 1998-2014 Institutleder for Institut for Datalogi, Aarhus Universitet.
  • 1990-99     Lektor, Datalogisk Institut, Aarhus Universitet..
  • 1988-90     Senior Research Officer, Meta Software, Massachusetts, USA.
  • 1981-88     Lektor, Datalogisk Institut, Aarhus Universitet.
  • 1978-80     Kandidatstipendiat, Datalogisk Institut, Aarhus Universitet.
  • 1976-77     Adjunktvikar, Datalogisk Institut, Aarhus Universitet.

Andre interesser

  • Agility for hunde (3 danske mesterskaber samt deltagelse på landshold).
  • Orienteringsløb (3 danske mesterskaber samt deltagelse på landshold).