Qualification, Scientific Contributions, PC chair, University service, Journal editorship, Steering committees, PC membership

Qualification

• Ph.D in Computer Science, Chalmers University of Technology, 1991
• Post doc, Aalborg University, Denmark, 1991-1992
• Lecturer/researcher, Uppsala University, 1992 - 1994
• Associate professor, Uppsala University, 1995 - 2000
• Professor, Uppsala University, 2000 - 2009
• Chair professor, Uppsala University, 2009 -.

• Multicore timing analysis and scheduling (recent work)
  [ RTSS10 , RTAS10 , RTSS09 (Best paper award), EMSOFT09 , RTSS08
• UPPAAL, a Model-Checker for Real-Time Systems (PI, co-founder)
  [ FORTE94 , DIMACS95 , RTSS95 , CAV96 , RTSS97 , STTT97 , CAV99 , RTS03 , Tutorial on TA ]
• TIMES, a Tool for Modeling and Implementation of Embedded Systems (PI, co-founder)
  [ TACAS02 , TACAS03 , TACAS04 , TCS06 , IC07 ]
• Timed CCS, an algebraic theory of timed systems (Ph.D. thesis work)
  [ Ph.D. Thesis 1991 , CONCUR90 , CAV91 , ICALP91 , IC97 ]
• Probabilistic models and testing semantics (Post doc work)
  [ PSTV92 , LICS95 , TCS02 , Chapter in Process Algebra Handbook, Bergsta et al (ed.) ]

• Member of the Board of UPMARC - Uppsala Programming for Multicore Architectures Research Center
• Member of Research Education Committee, Faculty of Science and Technology, 2006 --
• Member of Nomination Committee ("valberedningen" for selecting the faculty leadership), Faculty of Science and Technology, 2007 -- 2011
• Director of Research Education, Department of Information Technology, 2006 --
• Responsible professor for the Ph.D. Programme in Embedded Systems, 2009 --
• Director of the International Master Programme in Embedded Systems, 2010 --

• Associate editor, IEEE Transactions on Computers , 2002-2007
• Member of editorial board, ELSEVIER Journal of Systems Architecture, 2009 --
• Member of Editorial Board, Journal of Computer Science and Engineering (JCSE, KIISE) , 2010--
• Member of editorial board, Computer Science and Technology (Chinese Academy of Sciences), 2007 --
• Guest editor, ACM Transactions on Embedded Computing Systems, 2007.
• Guest editor, Nordic Journal of Computing, 2005.
• Guest editor, Software Tools for Technology Transfer (STTT), 2003.
• Guest editor, Nordic Journal of Computing, 2001.

• EMSOFT : International Conference on Embedded Software
• FORMATS : International Conference on Formal Modeling and Analysis of Timed Systems

• DATE 2012(E3) , E3: Model-Based Design and Verification for Embedded Systems. The 15th DATE Conference and Exhibition, March 12-16, 2012, Dresden, Germany.
• LCTES 2012 , The 15th ACM Conference on Languages, Compilers, Tools & Theory for Embedded Systems, 12-13 June, 2012, Beijing.
• HSCC 2010 , the 13th ACM International Conference on Hybrid Systems: Computation and Control, April 12-16, 2010.
• RTSS 2008 track chair: Design & Verification, the 29th IEEE Real-Time Systems Symposium, Barcelona, 2008.
• EMSOFT 2006 , the 6th Int. Conference on Embedded Software, Soeul, South Korea. Oct. 2006.
• FORMATS 2005 , the 3rd Int. Conference on Formal Modelling and Analysis of Timed Systems, Uppsala, Sept 26-28, 2005.
• TACAS 2001, the 7th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, Genova, Italy, 2 - 6 Apr. 2001
• NWPT 2004, the 16th Nordic Workshop on Programming Theory, Uppsala, Oct. 2004.
• NWPT 1999, the 11th Nordic Workshop on Programming Theory, Uppsala, Oct. 1999.

2012

• LCTES , The 15th ACM Conference on Languages, Compilers, Tools & Theory for Embedded Systems, 12-13 June, 2012, Beijing.
• DATE , Design, Automation & Test in Europe, Dresden, Germany March 12 - 16, 2012
• EMSOFT, , the 12th International Conference on Embedded Software, Tampere, Finland, Oct 7-12, 2012.
• RTSS , The 33rd IEEE Real-Time Systems Symposium, RTSS 2012 — San Juan, Puerto Rico.
• ICTAC , 9th International Colloquium on Theoretical Aspects of Computing 2012 24--27 September 2012, Bangalore, India.
• RTNS , 20th International Conference on Real-Time and Network Systems, Pont ā Mousson, France, November 8-9, 2012.
• RTAS , the 18th IEEE Real-Time and Embedded Technology and Applications Symposium Beijing, April 16 - 19, 2012.
• ATVA , the 10th International Symposium on Automated Technology for Verification and Analysis, Kerala, India, October 3-6, 2012
• TASE , The 6th IEEE International Symposium on Theoretical Aspects of Software Engineering 4-6 July 2012, Beijing, China
• WCET , 12th International Workshop on Worst-Case Execution-Time Analysis, Pisa, Italy, July 10, 2012.
• WATERS , 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems July, 10th 2012, Pisa, Italy
• SSS , (Formal Methods Track) 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012) Toronto, Canada 1-4 October 2012
• ICFEM , the 13th International Conference on Formal Engineering Methods. 12th-16th, November, 2012 Kyoto Research Park, Kyoto, Japan
• SIES , 7th IEEE International Symposium on Industrial Embedded Systems, 20-22 June 2012, Karlsruhe, Germany.
• ETFA , the 17th IEEE Conference ETFA 2012, Track on Real-Time and (Networked) Embedded Systems (RTNES), Sept 17-21, 2012, Krakow, Poland.

• EMSOFT, , the 11th International Conference on Embedded Software, Taiwan, Oct 9-14, 2011.
• FCT , the 18th International Symposium on Fundamentals of Computation Theory, 22-25 Aug, 2011, Oslo
• RTSS , the 32th IEEE Real-Time Systems Symposium, Wien, 2011.
• RTAS , the 17th IEEE Real-Time and Embedded Technology and Applications Symposium Chicago, IL, USA, April 11 - 14, 2011.
• DATE , the 14th International conference on Design, Automation & Test in Europe, Grenoble, France, March 14 - 18, 2011.
• PSI , the 8th A.P. Ershov Informatics Conference, June, 27-July, 1, 2011, Novosibirsk, Akademgorodok, Russia.
• ACM-SAC (Track on Real-Time Systems): the 26th ACM Symposium on Applied Computing, March 21 - 25, 2011. Taichung, Taiwan.

• RTSS , the 31th IEEE Real-Time Systems Symposium, November 30 - December 3, 2010, San Diego, CA, USA.
• ATVA , the 8th International Symposium on Automated Technology for Verification and Analysis, 21-24 September 2010, Singapore.
• DATE , the 13th International conference on Design, Automation & Test in Europe, March 8-12, 2010 Dresden, Germany.
• ICFEM , the 12th International Conference on Formal Engineering Methods. Nov 16-19, 2010, Shanghai, China.
• TASE , the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering August 24 - 27, 2010, Taipei, Taiwan.
• NWPT , the 22nd Nordic Workshop on Programming Theory, Abo, Finland.
• HSCC , the 13th ACM International Conference on Hybrid Systems: Computation and Control, April 12-16, 2010, in conjunction with CPSWEEK, Stockholm.
• ACM-SAC , Real-Time Systems Track, the 25th ACM Symposium on Applied Computing March 21 - 26, 2010 Sierre, Switzerland.

• RTSS , the 30th IEEE Real-Time Systems Symposium December 1 - December 4, 2009 Washington, D.C., USA.
• LCTES , ACM SIGPLAN/SIGBED 2009 Conference on Languages, Compilers, and Tools for Embedded Systems, Dublin, Ireland, June 19-20 2009.
• SAC (Track on Real-Time Systems): the 24th ACM Symposium on Applied Computing March 08-12, 2009, USA
• ICESS , the 6th IEEE International Conference on Embedded Software and Systems, Hang Zhou, China, May 25 - May 27, 2009.
• PSI , the 7th A.P. Ershov International Conference "Perspectives of System Informatics, 2009. Russia.
• ATVA the 7th International Symposium on Automated Technology for Verification and Analysis, 14-16 October 2009.
• NWPT , the 21st Nordic Workshop on Programming Theory, Copenhagen, 14-16 Oct, 2009.
• TASE , the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering July 29 - 31, 2009, Tianjin, China.
• ICST , the 2nd International Conference on Software Testing, Verification, and Validation, April 1 - 4, 2009, Denver, Colorado, USA.
• AWFS , the 6th Asian Workshop on Foundations of Software, April 6-8, 2009, Tokyo, Japan.
• ICFEM , the 11th International Conference on Formal Engineering Methods. December 9-12, 2009, Rio de Janeiro, Brazil.

• RTSS , Track -- Design & Verification, the 29th IEEE Real-Time Systems Symposium, Barcelona.
• RTAS , the 14th IEEE Real Time and Embedded Technology and Applications Symposium, St. Louis, April, 2008.
• FORMATS , the 6th International Conference on Formal Modelling and Analysis of Timed Systems, France, Sept., 2008.
• TASE , the 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China. June 17-19, 2008.
• CORCS , the 1st IEEE Intern. Workshop on Component-Based Design of Resource-Constrainted Systems Turku, Finland, Jul. 28 - Aug. 1, 2008.
• ICFEM , the 10th International Conference on Formal Engineering Methods. Japan, Oct. 2008.
• NWPT , the 20th Nordic Workshop on Programming Theory, Tallinn, Estonia.

• RTAS , the 13th IEEE Real Time and Embedded Technology and Applications Symposium, Washington, April, 2007.
• ATVA , the 5th Int. Symposium on Automated Technology for Verification and Analysis, Tokyo, October 2007.
• FMOODS , the 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, June, 2007.
• ICFEM , the 9th International Conference on Formal Engineering Methods. Florida, USA, Nov. 2007.
• NWPT , the 19th Nordic Workshop on Programming Theory, Oslo.
• TASE , the 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, Shanghai, June, 2007.
• ICECCS , the 12th IEEE International Conference on Engineering of Complex Computer Systems, New Zealand, July 2007.
• QAPL , the 5th Intern. Workshop on QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES, Braga, Portugal, March, 2007.

• EMSOFT , the 6th Int. Conference on Embedded Software, Soeul, South Korea. Oct. 2006.
• TACAS , the 12th International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, Vienna, March 25 - April 2, 2006.
• ATVA , the 4th Int. Symposium on Automated Technology for Verification and Analysis, October 2006.
• PSI , the 6th International A.P. Ershov Conference Perspectives in System Informatics, 27--30 June 2006, Novosibirsk, Akademgorodok, Russia.
• RTCSA , the 12th IEEE conference on Real-time and Embedded Computing Systems and Applications, Sydney, Australia.
• ICFEM , the 8th International Conference on Formal Engineering Methods. Macau.
• QAPL , the 4th Intern. Workshop on QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES, Vienna, Austria.
• ECRTS , the 18th Euromicro Conference on Real-Time Systems, Dresden, Germany, July 5-7, 2006.
• NWPT , the 18th Nordic Workshop on Programming Theory, Iceland.

• FORMATS , the 3rd International Conference on Formal Modelling and Analysis of Timed Systems, Uppsala, Sweden, September 26-28, 2005.
• APLAS, , 3rd Asian Symposium on Programming Languages and Systems, November 3-5, 2005 Tsukuba, Japan.
• RTCSA , the 11th IEEE conference on Real-time and Embedded Computing Systems and Applications, Hong Kong.
• QAPL , the 3rd Intern. Workshop on QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES, Edinburgh, UK.
• SVV , the 3rd International Workshop on Software Verification and Validation, Manchester, UK.
• SEFM , the 3rd IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS, Sept 5-9, 2005, Koblenz, Germany.
• NWPT , the 17th Nordic Workshop on Programming Theory, Copenhagen.
• ICFEM , the 7th International Conference on Formal Engineering Methods. Manchester, UK.

• CONCUR , the 15th International Conference on Concurrency Theory, Tuesday 31 August - Friday 3 September 2004, London, UK
• FTRTFT and FORMATS , Joint conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT), Grenoble, France, September 22-24, 2004
• NWPER , the 11th Nordic Workshop on Programming and Software Development Tools and Techniques, Turku, Finland - August 17-19, 2004
• RTCSA, the 10th RTCSA conference on Real-time and Embedded Computing Systems and Applications, Linköping, Sweden, August 25-27, 2004.
• ICFEM, the 6th International Conference on Formal Engineering Methods. 8-12 November 2004, Microsoft (Seattle, WA), USA
• ICTAC , the 1st International Colloquium on Theoretical Aspects of Computing, Guiyang, China 20 - 24 September 2004.
• SEFM , the 3nd IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS, Beijing, 26 - 30 September, 2004
• QAPL , the 2nd Intern. Workshop on QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES, Barcelona, Spain, 27-28 March 2004 - Satellite Event of ETAPS 2004
• NWPT the 16th Nordic Workshop on Programming Theory, Uppsala, Sweden, October 6-8, 2004.

2003

• FORMATS Formal Modelling and Analsis of Timed Systems, Marseille, France, September 6-7, 2003.
• SVV, International Workshop on Software Verification and Validation, Mumbai, India, December 14 2003 in Conjunction with International Conf. on Logic Programming (ICLP) 2003.
• ICFEM , the 5th International Conference on Formal Engineering Methods, 5-7 November 2003 at National University of Singapore.
• RTCSA , the 9th International Conference on Real-Time and Embedded Computing Systems and Applications, Tainan, Taiwan, February 18-20, 2003.
• ACSD , the 3rd International Conference on Applications of Concurrency to System Design, Guimarães, Portugal, University of Minho, 18-20 June, 2003.
• SEFM , the 2nd International Conference on Software Engineering and Formal Methods, Software Verification Research Centre, The University of Queensland, Brisbane, Australia. 22-27 September 2003.
• PSI , the 5th International A.P. Ershov Conference Perspectives in System Informatics, Novosibirsk, Akademgorodok, Russia, July 9-12, 2003.
• NWPT , the 15th Nordic Workshop on Programming Theory, Aabo Akademi University, Turku, Finland, October 29-31, 2003.

Before 2003

• CAV02, the 4th International Conference on Computer-Aided Verification Copenhagen, Denmark, July 27-31, 2002.
• TACAS02, the 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems, April 6 - 14, 2002, Grenoble, France.
• NWPT02, the 14th Nordic Workshop on Programming Theory, NWPT'02 Tallinn, Estonia, 20-22 November 2002.
• TPTS02, Workshop on Theory and Practice of Timed Systems, April 6-7, 2002, Grenoble, France. satelite event of ETAPS'2002.
• TACAS'2001, the 7th International Conference on Tools and Algorithms
  for the Construction and Analysis of Systems, Genova, Italy, 2 - 6 April, 2001
• NWPT01, the 13th Nordic Workshop on Programming Theory, Lyngby, Denmark, 10-12 October 2001.
• CONCUR 2000 , the 11th International Conference on Concurrency Theory, August 22-25, 2000, Penn State University, Pennsylvania, USA
• NWPT00 , the 12th Nordic Workshop on Programming Theory, Univ of Bergen, Norway, 11-13 Oct, 2000.
• TACAS'2000, the 6th International Conference on Tools and Algorithms
  for the Construction and Analysis of Systems March 27-April 1, 2000, Berlin, Germany
• ECRTS00, the 12th Euromicro Conference on Real-Time Systems, Jun 21-23, 2000, Royal Institute of Technology, Sweden
• LCTES'2000 , 6th ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems June, 2000, Vancouver B. C., Canada
• NWPT99, the 11th Nordic Workshop on Programming Theory, Oct 13-15, 1999, Uppsala University, Sweden
• PDRTS99, the 7th International Workshop on Parallel and Distributed Real-Time Systems Apr 12 - 16, 1999, San Juan, Puerto Rico, USA
• ECRTS99, the 11th Euromicro Conference on Real-Time Systems, Jun 9-11, 1999, University of York, England
• NWPT98 , the 10th Nordic Workshop on Programming Theory, Oct 14-16, 1998, Turku University, Finland