Here's Kim's homepage

Kim Guldstrand Larsen's homepage

Kim Guldstrand Larsen
Department of Computer Science
Aalborg University
Fr. Bajersvej 7B
9220 Aalborg East, DENMARK

Office: B1-209
Email : kgl@cs.auc.dk
PHONE : +45 96 35 80 80 (Switchboard)
PHONE : +45 96 35 88 93 (Direct)
PHONE : +45 22 17 11 59 (Mobile)
FAX   : +45 98 15 98 89

Employment

I am a Professor in the Department of Computer Science at Aalborg University within the Distributed and Embedded Systems Unit and am director of the ICT-competence center CISS, Center for Embedded Software Systems. I am also director of DaNES, Danish Network of Embedded Systems, a Advanced Technology Platform. Finally I am director of the Aalborg section of BRICS.

Research

My research area is theoretical computer science, more precisely the semantics of nondeterminism and concurrency. My particular interest lies in validation and verification of embedded systems, real-time and hybrid systems Currently I am spending most of my research time on developing the modelchecker UPPAAL in collaboration with the research group at Uppsala University. During next few years I intend to invest substantial effort in two new European projects: AMETIST (methods for dynamic resource allocation and timing analysis, project, partners) and ARTIST (a network for real-time and embedded systems, project). Due to several reqeusts I have finally made my PhD Thesis from Edinburgh University available online here.

Programme Committees

ICFEM2009 on Formal Engineering Methods. 12th of December, 2009, in Rio de Janeiro, Brazil.
SOFSEM09: 35th Conference on Current Trends in Theory and Practice of Computer Science, January 24-30, 2009, Spindleruv Mlyn, Czech Republic
QEST09: International Conference on the Quantitative Evaluation of Systems, September 2009 in Budapest, Hungary.
ICALP'09: International Colloquium on Automata, Languages and Programming, July 2009, Rhodos, Greecel.
EMSOFT'08: International Conference on Embedded Systems, Atlanta, Georgia, USA, October 19-24, 2008.
CORCS'08: 1st IEEE International Workshop on Component-Based Design of Resource-Constrained Systems, Turku, Finland, July 28 - August 1, 2008.
SPIN'08: 15th International SPIN Workshop on Model Checking of Software, August 10-12, 2008, Los Angeles, USA.
WODES'08: 9th International Workshop on Discrete Event Systems, Göteborg, Sweden, May 28-30, 2008.
TACAS'08: 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Budapest, Hungary, March 29 - April 6, 2008.
CONCUR'08: 19th International Conference on Concurrency Theory, Toronto, Canada, August 19-22, 2008.
MOVEP'08: 8th School on MOdelling and VErifying parallel Processes, Orléans, France, June 23-27, 2008.
FSTTCS'07: Foundations of Software Technology and Theoretical Computer Science. New Delhi, 12-14 December 2007.
EPEW'07: 4th European Performance Engineering Workshop, Berilin, 27-28 September 2007, Germany
LICS'07: Twenty-Second Annual IEEE Sympositum on Logic in Computer Science, 10-14 July, Wroclaw, Poland.
TACAS07: Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 24 March - 1 April, Braga, Portugal, 2007.
SOFSEM'07: 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Foundations of Computer Science track, Janaury 20-26, 2007, Harrachov, Czech Republic.
EPEW'06: 3rd European Performance Engineering Workshop, Budagpest, 21-22 June 2006, Hungary.
CONCUR'06: The 17th International Conference on Concurrency Theory, August 27-30, 2006, Bonn, Germany. See also pictures from soccer match.
SEFM'06: 4th IEEE International Conference on Software Engineering and Formal Methods, September 11-15, 2006, Pune, India.
HSCC'06, Hybrid Systems: Computation and Control, Santa Barbara, California, March 29-31, 2006.
MOVEP'06, Modelling and Verification of Parallel Processes, June 19-23, Bordeaux, France, 2006.
MSVVEIS'06, the Fourth Ingternational Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, May 23-24, Paphos, Cyprus, 2006.
TACAS'06. 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, March 25-April 2, 2006, Vienna, Austria.
QEST'06, 2nd International Conference on the Quantitative Evaluation of Systems, Riverside, California, on September 2006.
ADHS'06: the 2nd IFAC conference on the Analysis and Design of Hybrid Systems, that will be held in Alghero (Sardinia, Italy) on June 7-9, 2006.
CONCUR 2005, 16th International Conference on Concurrency Theory, San Francisco, California, 23-26 August 2005.
VVPS05, 1st Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems, Monterey, California, USA, 6-7 June 2005
ICALP 2005, International Colloquium on Automata, Languages and Programming, July 11-15, 2005, Lisboa, Portugal.
FORMATS'05, 3rd International Conference on Formal Modelling and Analysis of Timed Systems, September 26-28, Uppsala, Sweden.
SE2005, IASTED International Conference on Software Engineering, Innsbruck, Austria, February 15-17, 2005.
GDV'05: Games in Design and Verification, July 12,. Edinburgh, Scotland, 2005.
MOVEP'04, Modelling and Verification of Parallel Processes, Dec.2004, Brussels, Belgium.
EPEW: First European Workshop on Performance Engineering, Sep. 30 - Oct. 2, 2004, Madrid, Spain.
QEST. 1st International Conference on quantitative Evaluation of Systems, September 27-30, 2004, Twente University, The Netherlands.
RV'04, Fourth Workshop on Runtime Verification, April 3-4, 2004, Barcelona, Spain.
WODES'04, IFAC Workshop on Discrete Event Systems, Reims, France, on 22-24 September 2004.
LICS'04, Logic in Computer Science, Turku, Finland, July 14-17, 2004
TACAS 2004 10th International conference on Tools and Algorithms for the Construction and Analysis of Systems, March 29 - april 2, 2004, Barcelona.
STACS'04, 21st International Symposium on Theoretical Aspects of Computer Science, Montpellier, France
March 25-27, 2004
NWPT'03, The 15th Nordic Workshop on Programming Theory, Aabo Akademi University, Turku, Finland, October 29-31, 2003
FORMATS 2003, Formal Modeling and Analysis of Timed Systems, Marseile, September 6-7, 2003 (co-chair)
Computer Aided Verification, CAV03, Boulder, Colorado, U.S.A,, July 8-12, 2003.
CONCUR 2003, 2-6 September 2003, Marseille, France.
Thirtieth International Colloquium on Automata, Languages and Programming, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003
Formal Methods and Models for Codesign, MEMOCODE03, Mont Saint-Michel, France, June 24-26, 2003.
IFAC Conference on Analysis and Design of Hybrid Systems, ADHS03, Saint-Malo, France, June 16-18, 2003.
Hybrid Systems: Computation and Control, HCSS 2003, Prague, the Czech Republic, April 3-5, 2003
Tools and Algorithm for the Construction and Analysis of Systems, TACAS 2003.
Nordic Workshop on Programming Theory, NWPT 2002.
Computer Aided Verification, CAV 2002 (co-chair with Ed Brinksma)
Workshop on Parallel and Distributed Model Checking, PDMC , 2002.
Models for Time Critical Systems, MTCS 2002 (co-chair with Walter Vogler)
Formal Techniques in Real-Time and Fault Tolerant Systems, FTRTFT 2002
Modelling and Verification of Parallel Processes, MOVEP 2002.
Workshop on Theory and Practice of Timed Systems, TPTS 2002
Tools and Algorithm for the Construction and Analysis of Systems, TACAS 2002
Nordic Workshop on Programming Theory, NWPT 2001
Workshop on Real-Time Tools, RT-TOOLS 2001
Computer Aided Verification, CAV 2001
CONCUR 2001 (co-chair with Mogens Nielsen)
Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001
PAPM-PROBMIV 2001
Automation of Mixed Processes: Hybrid Dynamic Systems, ADPM2000
The 7th International SPIN Workshop on Model Checking of Software, SPIN 2000
Process Algebra and Performance Models, PAPM'2000
Distributed System Validation and Verification, DSVV'2000
Tools and Algorithms for the Construction and Analysis of Systems, TACAS'2000
Logic in Computer Science, LICS'2000
Computer Aided Verification, CAV'2000

Invited Presentations

International PhD School on Verification of Protocols for Security and Mobility, IT-University,
Copenhagen, Denmark, October 9-13, 2006.
GLOBAN 2006 – The Global Computing Approach to Analysis of Systems, International Summer
School, DTU, Denmark August 21-25, 2006.
ARTES Summerschool 2006, Nässlinge, Sweden, August 22, 2006.
Scandinavian ARTIST2 Day, Stockholm, Sweden, August 21, 2006.
Summerschool on Testing, European TAROT project, Toledo, Spain, July, 2006.
Dagstuhl Workshop on Directed Model Checking; Schloss Dagstuhl, Germany, April 26-29, 2006.
Model-based Development of Embedded Systems; MCI, CPD, CSI, Sønderborg, February 23, 2006.
TECS Week: TCS Excellence in Computer Science Week; Tata Research Development and
Design Center (a devision of Tata Consultancy Services Limited), Pune, India, January 3-7,
2006.
RTSS05, The 26th IEEE Real-Time Systems Symposium, Invited Tutorial on UPPAAL; Miami,
Florida, USA, December 5-8, 2005.
IFIP WG2.2, meeting in Kandestederne, Denmark, September 1, 2005.
Algebraic Process Calculi: The First Twenty Five Years and Beyond, Bertinoro, Italy, 1-5 August 2005.
ICAPS'05, The International Conference on Automated Planning and Scheduling, Monetery, California, U.S.A., June 5-10.
GVD05, German Verification Day, Oldenburg, Germany, March 4, 2005
MOVEP'04: Modeling and Verifiying Parallel Processes, Brussels, Belgium, 13-17 December 2004.
PRISE: Principles of Software Engineering, Buenos Aires, Argentina, November 22-27,2004.
Third international symposium on Formal Methods for Components and Objects (FMCO 2004), Leiden, The Netherlands,
November 2-5, 2004.
NWPT'04: the 16th Nordic Workshop on programming Theory, Uppsala, Sweden, Octoboer 6-8, 2004.
Formal Methods for the Design of Computer, Communication and Software Systems: Real Time, 13-18 September, 2004, Bertionoro University Residential Center, Italy.
Beyond Safety, April 26-28, 2004, Schloss Ringberg, Germany
Grand Challange for Global Ubiquitous Computing, May 7-9, Cambridge and September 2-3, London, 2004.
ESSES 2003, European Summer School on Embedded Systems, Sweden July 14-October 10, 2003.
EMSOFT, Third International Conference on Embedded Software, Philadelphia, USA, 13-15 October, 2003.
Process Algebra: Open Problems and Future Directions, Bertinoro, Italy, July 21-25, 2003.
DISC Summer School on "Modeling and Control of Hybrid Systems", The Netherlands, June 23-26, 2003.
EEF Summer School on Foundatioins of Computer Science, Concurrency, May 16-30, Eindhoven, 2003.
Dagstuhl Workshop on Probabilistic Methods in Verification and Planning, May 11-16, 2003.
2nd School on Formal Methods (SFM): Model Checking , Bertinoro, Italy, 9-14 September 2002.
FTRTFT: Formal Techniques in Real-Time and Fault Tolerant Systems , Oldenborg, Germany, 9-12 September, 2002.
CONCUR , Tools Day. Brno, Czech Republic, August 24, 2002.
Third Workshop on Coloured Petri Nets , Aarhus, DK, August 2002.
AVoCS: Workshop on Automated Verification of Critical Systems , Birmingham, UK, April 2002
Presentation at The Royal Danish Academy of Science and Letters , Copenhagen, March 7, 2002.
Presentation at Center for Software Innovation, Sønderborg, DK, January 2002
IPA Fall Days on Timed Systems , Landgoed Hize Bergen, Vught, NL, November 2001
Dynamics Workshop, July 2001
Mathematical Foundation of Computer Science, May 2001
Model-based Validation of Intelligence, March 2001
Estonian Winterschool on Computer Science, January 2001
Dutch Model Checking Day, January 2001

Teaching

Test and Verification 2006 (with Brian Nielsen and Arne Skou)
Semantic and Verification 2006 (with Jiri Srba)
Embedded Systems Validation, PhD course, 2004.
Embedded Systems Validation, PhD course 2003
BRICS PhD course on Verification 2003
BRICS PhD course on Verification 2001
DTU course on Real-time Systems 2001 (with Henrik Ejersbo Jensen, Paul Pettersson)
DTU course on Real-time Systems 2000 (with Paul Pettersson)
Semantics and Verification 2002 (with Anna Ingolfsdottir)
Semantics and Verification 2001 (with Anna Ingolfsdottir)
Test and Verification 2005
Test and Verification 2004 (with Emmanuel Fleury, Brian Nielsen, Arne Skou)
Test and Verification 2003 (with Emmanuel Fleury)
Test and Verification 2002
Test and Verification 2001 (with Henrik Ejersbo Jensen)
Datastructures & Algorithms for Model Checking 2001
Methods and Tools for Validation: Modeling and Analysis 2002.

Publications

You can find a listing of my publications as of November 1998 in a short postscript version of my CV . Some of my publications can be found in the archives of BRICS or at the UPPAAL homepage. Eventually I want all of my publications to be direcly obtainable from here (currently only very few publications are accessible).

Various Links

Jarl Arden Idrætsforening.
Young Professors at Aalborg University.
Badminton U15 champions, Northern Jutland, U15 runners-up, Jutland 2002-2003
Soccer Match at CONCUR06.

Schedule

See here for travel plans during 2002.