Ph D seminars:


Victor Lagerkvist, Linköping University

Date and time: February 3rd, 2016 at 13.15
Location: Alan Turing, building E
Title: Strong Partial Clones and the Complexity of Constraint Satisfaction Problems - Limitations and Applications
Main supervisor: Professor Peter Jonsson, IDA
Opponent: Professor Nadia Greignou, Aix Marseille université, Frankrike

Ke Jiang, Linköping University

Date and time: February 10th, 2016 at 13.15
Location: Visionen, building B
Title: Security-Driven Design of Real-Time Embedded Systems
Main supervisor: Professor Zebo Peng, IDA
Opponent: Prof. Dipl.-Ing. Axel Jantsch, Technische Universität Wien, Austria


- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -


(45 doctoral dissertations since the start 2002)

Maria Vasilevskaya, Linköping University

Date and time: December 17th, 2015
Title: Security in Embedded Systems - A model-based approach with risk metrics
Main supervisor: Professor Simin Nadjm-Tehrani, IDA
Opponent: Professor Ketil Stølen, University of Oslo, Norway


Nima Aghaee, Linköping University

Date: October 23rd, 2015
Title: Thermal Issues in Testing of Advanced Systems on Chip
Main supervisor: Professor Zebo Peng
Opponent: Professor Jaan Raik, Tallinn University of Technology Tallinn, Estland

Adrian Lifa, Linköping University

Date: September 15th, 2015
Title: Hardware/Software Codesign of Embedded Systems with Reconfigurable and Heterogeneous Platforms
Main supervisor: Professor Petru Eles
Opponent: Prof. Dr. -Ing. Jürgen Teich, University of Erlangen-Nuremberg, Germany

Bogdan Tanasa, Linköping University

Date: September 8th, 2015
Title: Timing Analysis of Distributed Embedded Systems with Stochastic Workload and Reliability Constraints
Main supervisor: Professor Petru Eles
Opponent: Associate Professor Lucia Lo Bello, University of Catania, Italy

Hannes Uppman, Linköping University

Date: May 21st, 2015
Title: On Some Combinatorial Optimization Problems: Algorithms and Complexity
Main supervisor: Professor Peter Jonsson
Opponent: Professor Stanislav Zivný, University of Oxford

Martin Sjölund, Linköping University

Date: June 1st, 2015
Title: On Some Combinatorial Optimization Problems: Algorithms and Complexity
Main supervisor: Professor Peter Fritzson
Opponent: Professor Walid Taha, Högskolan i Halmstad

Kristian Stavåker, Linköping University

Date: June 9th, 2015
Title: Contributions to Simulation of Modelica Models on Data-Parallel Multi-Core Architectures
Main supervisor: Professor Peter Fritzson
Opponent: Professor Erwin Laure, KTH

Stefan Bygde, Mälardalen University

Date: June 4th, 2013
Title: Parametric WCET Analysis
Main supervisor: Professor Björn Lisper
Opponent: Prof. Raimund Kirner, University of Hertfordshire

John Wilander, Linköping University

Date: April 22nd, 2013
Title: Contributions to Specification, Implementation, and Execution of Secure Software
Main supervisor: Professor Mariam Kamkar
Opponent: Professor Benjamin Livshits, Microsoft Research & University of Washington, USA

Tommy Färnqvist, Linköping University

Date: February 8th, 2013
Title: Exploiting Structure in CSP-related Problems
Main supervisor: Professor Peter Jonsson
Opponent: Dr. Miki Hermann, École Polytechnique, Palaiseau, Frankrike

Carl Christian Rolf, Lund University

Date: October 3rd, 2011
Title: Parallelism in Constraint Programming
Main supervisor: Professor Krzysztof Kuchcinski
Opponent: Docent Christian Schulte, KTH

Soheil Samii, Linköping University

Date: September 23rd, 2011
Title: Quality-Driven Synthesis and Optimization of Embedded Control Systems
Main supervisor: Professor Petru Eles
Opponent: Professor Samarjit Chakraborty, Technische Universität München, Germany

Mattias Eriksson, Linköping University

Date: June 7th, 2011
Title: Integrated Code Generation
Main supervisor: Professor Christoph Kessler
Opponent: Professor Andreas Krall, Technische Universität Wien, Austria

Alexander Karlsson, Skövde University

Date: October 22nd, 2010
Title: Evaluating Credal Set Theory as a Belief Framework in High-Level Information Fusion for Automated Decision-Making
Main advisor: Professor Sten F. Andler
Opponent: Adjunct Professor Galina Rogova, State University of New York at Buffalo, USA

Kevin LeBlanc, Örebro University

Date: November 8th, 2010
Title: Cooperative Anchoring: Sharing Information about Objects in Multi-Robot Systems
Main advisor: Professor Alessandro Safiotti
Opponent: Professor Daniele Nardi, University of Rome "La Sapienza", Italy

Gunnar Mathiason, Skövde University

Date; December 18th, 2009
Title: Virtual Full Replication for Scalable Distributed Real-Time Databases
Main advisor: Professor Sten F. Andler
Opponent: Professor Alejandro Buchmann, Technische Universität Darmstadt, Germany

Fredrik Kuivinen, Linkoping University

Date; December 11th, 2009
Title: Algorithms and Hardness Results for Some Valued CSPs
Main advisor: Professor Peter Jonsson
Opponent: Professor Peter Jeavons, University of Oxford, England

Viacheslav Izosimov, Linkoping University

Date; December 16th, 2009
Title: Scheduling and Optimization of Fault-Tolerant Distributed Embedded Systems
Main advisor: Professor Zebo Peng
Opponent: Professor Krishnendu Chakrabarty, Duke University, USA

AnnMarie Ericsson, Skövde University

Date; June 16th, 2009
Title: Enabling Tool Support for Formal Analysis of ECA Rules
Main advisor: Professor Sten F. Andler
Opponent: Associate Professor José Júlio Alferes, Universidade Nova de Lisboa, Portugal

Mats Petter Wallander, Lund University

Date; June 12th, 2009
Title: Constraint Programming Methods for Optimization of Single Shortest Path Routing
Main advisor: Professor Krzysztof Kuchcinski
Opponent: Professor Nicolas Beldiceanu, Ècole des Mines de Nantes, France

Robert Lundh, Örebro University

Date; May 29th, 2009
Title:Robots that Help Each Other: Self-Configuration of Distributed Robot Systems
Main advisor: Professor Alessandro Saffiotti
Opponent: Professor Lynne Parker, University of Tennessee, USA

H. Joe Steinhauer, Linköping University
Title: A Representation Scheme for Description and Reconstruction of Object Configurations Based on Qualitative Relations
Date: September 29th, 2008
Main advisor: Professor Erik Sandewall
Opponent: Professor Alexander Klippel, The Pennsylvania State University, USA
Morgan Ericsson, Växjö universitet
Title: Composition and Optimization
Date: September 11th, 2008
Main advisor: professor Welf Löwe
Opponent: professor Uwe Assman, TU-Dresden, Germany
Adrian Pop,  Linköping University
Title: Integrated Model-Driven Development Environments for Equation-Based Object-Oriented Languages
Date: June 5, 2008
Main advisor: professor Peter Fritzson
Opponent: Professor Hans Vangheluwe, Modeling, Simulation & Design Lab, McGill University, Montréal, Québec, Canada
Artur Wilk, Linköping university
Title:  Types for XML with Application to Xcerpt
Date: February 19th, 2008
Main advisor: Wlodek Drabent
Opponent: Professor Francois Bry, Ludwig-Maximilians-Universität, München, Tyskland

Sanny Syberfeldt, University of Skovde
Title: Optimistic Replication with Forward Conflict Resolution in Distributed Real-Time Databases
Date: December 17th, 2007
Main advisor: Professor Sten F. Andler
Opponent: Professor Alejandro P. Buchmann

Anders Henrysson, ITN, Linköping University
Title: Bringing Augmented Reality to Mobile Phones
Date: December 14th, 2007
Main advisor: Professor Anders Ynnerman
Opponent: Dr. Kari Pulli, Nokia, Palo Alto, USA
Mehdi Amirijoo, Linköping University
Title: QoS Control of Real-Time Data Services under Uncertain Workload
Date: November 15th, 2007
Main advisor: Jörgen Hansson
Opponent: dr Joseph Hellerstein, Microsoft Corporation, Seattle, WA, USA
Alexandru Andrei, Linköping University
Title:  Energy Efficient and Predictable Design of Real-Time Embedded Systems
Date: October 16th, 2007
Main advisor: professor Petru Eles
Opponent: professor Lothar Thiele, Swiss Federal Institute of Technology (ETH), Zürich, Switzerland
Tan He, Linköping University
Date: September 3rd, 2007
Title: Aligning Biomedical Ontologies
Main advisor: Patrick Lambrix
Opponent: Assistent Professor York Sure, Universität Karlsruhe, Tyskland
Thomas Gustafsson, Linköping University
Date: September 6th, 2007
Title: Management of Real-Time Data Consistency and Workload Overloads in Embedded Systems
Main advisor: Jörgen Hansson
Opponent: Dr. Ming Xiong, Bell Laboratories, Murray Hill,NJ, USA
Jan Carlson, Mälardalens högskola
Date: June 15th, 2007
Title: Event Pattern Detection for Embedded Systems
Main advisor: Prof. Björn Lisper
Opponent: Prof. Kim Larsen, Aalborg University
Gustav Nordh, Linköping University
Date: June 1st, 2007
Title: Complexity Dichotomies for CSP-related Problems
Main advisor: Peter Jonsson
Opponent: Dr. Andrei Krokhin, University of Durham, UK

Magnus Wahlström, Linköping University
Date: April 27th, 2007
Title: Algorithms, Measures, and Upper Bounds for Satisfiability and
Related Problems
Main advisor: Peter Jonsson
Opponent: Dr. Oliver Kullman, University of Wales Swansea, UK
Adam Dunkels, Mälardalens högskola
Date: February 15th, 2007
Title: Programming Memory-Constrained Networked Embedded Systems
Main advisor: Mats Björkman
Opponent: Senior researcher Kay Römer, ETH Zürich

Vaida Jakoniene, Linköping University
Date. September 25th, 2006
Title: Integration of Biological Data
Main advisor: Patrix Lambrix
Opponent: Professor Michael Schroeder, Technishe Universität Dresden, Tyskland

Daniel Karlsson, Linköping University
Date: June 19th, 2006
Title: Verification of Component-based Embedded System Designs
Main advisor: Petru Eles
Opponent: Prof. Bashir Al-Hashimi, School of Electronics and Computer Science, University of Southampton, UK
Vilhelm Dahllöf, Linköping University
Date: June 1st, 2006
Title: Exact Algorithms for Exact Satisfiability Problems
Main advisor: professor Peter Jonsson
Opponent: professor Fedor Fomin, Universitetet i Bergen, Norge
Aleksandra Tesanovic, Linköping University
Date: March 23rd, 2006
Title: Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components
Main advisor: Docent Jörgen Hansson
Opponent: Professor Heinz W. Schmidt, Monash univ, Australia
Patrik Haslum, Linköping University
Date: March 15th, 2006
Title: Admissible Heuristics for Automated Planning
Main advisor: Professor Patrick Doherty
Opponent: Dr Derek Long, University of Strathclyde, Glasgow

Calin Curescu, Linköping University
Date: September 16th, 2005
Title: Utility-based Optimisation of Resource Allocation for Wireless Networks
Main advisor: Simin Nadjm-Tehrani, LiU
Opponent: Klara Nahrstedt, University of Illinois, Urbana-Champaign, USA

Ola Angelsmark, Linköping University
Date: June 3rd, 2005,
Title: Constructing Algorithms for Constraint Satisfaction and Related Problems - Methods and Applications
Main advisor: Prof. Peter Jonsson, LiU
Opponent: Docent Brahim Hnich, University College Cork, Irland
Per Andersson, Lunds tekniska högskola
Date: June 17th, 2005
Title: Efficient Modelling and Synthesis of Data Intensive Reconfigurable Systems
Main advisor: Krzysztof Kuchcinski
Opponent: Prof. Christophe Wolinski

Luis Alejandro Cortes, Linköping University
Date: March 2nd, 2005
Title: Verification and Scheduling Techniques for Real-Time Embedded Systems
 Supervisor: Prof. Zebo Peng, Linköpings universitet
Opponent: Prof. Franco Fummi, Univerista' di Verona, Italien.

Baran Curuklu,  Mälardalen University (MdH)
Date: April 26th, 2005
Title: A Canonical Model of the Primary Visual Cortex
Main advisor: Prof. Björn Lisper, MdH
Assistant advisors:   Prof. Anders Lansner, Royal Institute of Technology
                                 Associate Prof. Peter Funk, MdH
Opponent: Prof. Gaute T. Einevoll, Norwegian University of Life


Travel reports

Licentiate seminars


Courses Spring 2016


Last modified on January 2016 by Anne Moe