Here's Kim's homepage

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Here's Kim's homepage

Kim Guldstrand Larsen's homepage

Kim Guldstrand Larsen
Department of Computer Science
Aalborg University
Fr. Bajersvej 7E
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 Systems and Semantics Unit, and part-time industrial professor at the Formal Methods and Tools Group, Twente University. Also, I am the director of the Aalborg section of BRICS , and director of the newly started Center for Embedded Software Systems, CISS .

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). Also, I am actively involved in the new center for embedded software systems, CISS, at Aalborg University.

Programme Committees

SE2005, IASTED International Conference on Software Engineering, Innsbruck, Austria, February 15-17, 2005.
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.
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

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

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

Schedule

See here for travel plans during 2002.