Department of Information Technology

Kai Lampka – Associate Senior Lecturer

Address: Division of Computer Systems
Department of Information Technology
Uppsala University
Box 337
SE-751 05 Uppsala
Sweden
Visit: ITC building 1, floor 2, room 1218
Phone: +46 18 - 471 2971
Mobile: +46 70 425 03 59
Fax: +46 18 511925
Email: kai.lampka@it.uu.se

Publications

DBLP, Google Scholar, Diva (UU) (after 2012), ETH Zurich (2007-2012), PhD thesis (08/2007),Publications during PhD studies

Short CV

In 2012 Kai Lampka was appointed as Assistant Professor (Biträdande Lector) in the Embedded Systems Group at Uppsala University.
He obtained his Ph. D. in computer science from the University of Erlangen-Nuremberg in 2007 and has been a post-graduated research fellow at ETH Zürich (2007-2011).
He has contributed substantially to the EU funded STREP COMBEST and CERTAINTY and he is an active member of the research community on Embedded Systems (Short biography).

Awards

  • 2009 Best Paper Award at the ACM Embedded Software Conference (EMSOFT) October 2009.
  • 2006 Best Paper Award at the 13th GI/ITG Conference: Measuring, Modelling and Evaluation of Computer and Communication Systems. March 2006.

Community Activities

  • Area Editor for the Elsevier Journal AEUE (International Journal of Electronics and Communications)
  • TPC DATE 2013, 2014, 2015, 2016
  • TPC FORMATS 2012,2014, 2015
  • TPC LCTES 2013, 2014, 2015, 2016
  • TPC QEST 2013 (Tools Chair)
  • TPC Work-in-Progress SIES 2012
  • TPC WRUMM 2014
  • Work-in-Progress RTAS 2012

Funded Research Projects

  • EU FP 7 Technology Transfer Project (2015)
  • EU FP 7 STREP CERTAINTY (2011-2014)
  • EU FP 7 STREP COMBEST (2008-2010)

Invited Presentations

  • Invited to the Dagstuhl-Seminar-15122: Network Calculus. March 2015.
  • Invited to the Dagstuhl-Seminar-15121: Mixed Criticality on Multicore/Manycore Platforms. March 2015.
  • Bounding time delays due to resource contention in multicore Commercial Off-The-Shelf architectures Dagstuhl-Seminar 14041-Quantitative Models: Expressiveness, Analysis, and New Applications.
  • With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multicore Architectures. Tutorial at Runtime Verification 2013.
  • Formal Model-Driven Validation of Deployed Architectures with a Focus on Power Consumption. 2nd Workshop of the EU project GENESI. Catania, Sicily. 2012.
  • On the Computation and Properties of Real-time Interfaces for State-based Component Models. Conference lecture on the 1st International Workshop on Model-Based Design with a Focus on Extra-Functional Properties (MBDEFP) Taipei, Taiwan. 2011.
  • Analysis of Embedded Real-time Systems: Between Scalability and Precision. Colloquium of the Computer Science Department. University Ulm. 2011.
  • Integrated Modeling for supporting Compositionality and Heterogeneity for the Analysis of Embedded Real-time Systems. University of the Federal Forces Germany, Munich. 2011.
  • Compositionality and Heterogeneity: Incorporating formal Methods in the Design Cycle of Embedded Real-time Systems. Presented at the Workshop on Rigorous Embedded Design. EuroSys 2011.

Positions

Position period info
Assistant Professor 01/12-today. Embedded Systems Group (Chair Prof. Wang Yi), Department of Information Technology, Uppsala University.
Postdoctoral Researcher 10/07-12/11 at the Chair of Computer Engineering (Prof. Lothar Thiele), Department of Information Technology and Electrical Engineering, Swiss Federal Institute of Technology Zurich (ETH Zurich).
PhD-Student 03/04-03/07 Group for Design of Computing- and Communication Systems (Prof. Markus Siegle), Institute for Technical Computer Science at Universität der Bundeswehr München.
PhD-Student 01/02-02/04 Group for Stochastic Modeling and Verification (Dr.-Ing. Markus Siegle), Department of Computer Science VII (Chair Prof. U. Herzog), Friedrich-Alexander University Erlangen-Nuremberg.
Updated  2015-07-10 14:03:14 by Kai Lampka.