Annika Karlsson, Ph.D student

I`m a Ph.D student at the Uppaal research group at the Department of Information Technology, Uppsala University in Sweden.

Research

I will be doing my research in the area of realtime systems. The first years I will be a part of the SAVE project.

The SAVE project

SAVE (Component Based Design of Safety Critical Vehicular Systems) is a national programme supported by SSF (Swedish strategic research). The goal is to establish an engineering discipline for systematic development of component-based software for safety critical embedded systems.

Publications

• X-by-wire Systems and Time-triggered Protocols. Annika Karlsson. Master thesis, 2002. (.doc , .pdf)

Teaching

I am (or have been) assisting on the following courses at the Department of Information Technology.

Fall 2004

• Vägvisarprojektet (in swedish), 1p (fall 2004 & spring 2005)
• Informationsteknologi kvällskurs, 5p (fall 2004)

Earlier courses

• Vägvisarprojektet (in swedish), 1p (fall 2003 & spring 2004)
• Informationsteknologi, 4p (fall 2003)
• System i teknik och samhälle: Datorintroduktion, 0.5p (fall 2003)
• System i teknik och samhälle: Datorintroduktion, 0.5p (fall 2002)
• Software Engineering, 4/5 p (fall 2002)
• Software Engineering, 4/5 p (ht 2001)

Ph.D courses

• Forskningsplanering, 3p (fall 2004)
• Pedagogisk kurs för universitetslärare, 4p (spring 2004)
• Embedded Control Systems, 5p (spring 2004)
• European Summer School on Embedded Systems, (summer and fall 2003)
• Algorithmic Problem Solving, 5p (fall 2003)
• SAVE - Component Based Software Engineering for Embedded Systems, 5p (spring 2003)
• Process Algebra, 4 p (spring 2003)