Announcements-l.sht

Ph D seminars:

Coming:

 

 

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

Passed:

(41 doctoral dissertations since the start 2002)

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
Abstract

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
Abstract

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
Abstract

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
Abstract

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
Thesis

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
Thesis

Carl Christian Rolf, Lund University

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

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
Abstract

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
Abstract

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
Abstract

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
Abstract

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
Abstract

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
Abstract

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
Abstract

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
Abstract

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
Abstract

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
Abstract

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
abstract
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
abstract
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
abstract
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
abstract

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
abstract

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
abstract
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
abstract
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
abstract
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
abstract
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
abstract
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
abstract
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
abstract

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
abstract
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
abstract

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
abstract

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
abstract
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
abstract
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
abstract
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
abstract

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
abstract

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
abstract
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
abstract

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.
abstract

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
abstract
short-ann

 

Travel reports

Licentiate seminars

PhD-seminars

Courses Fall 2015

 







Last modified on June 2015 by Anne Moe