Hide menu

PhD seminars

Upcoming seminars:

Felipe Boeira

Date and time: September 11, 2023, 13.15
Title: Title
Supervisor: Mikael Asplund
Opponent:


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

(63 PhD thesis' since the start 2002)
Mattias Tiger

Date and time:
Title: Safety-Aware Autonomous Systems: Preparing Robots for Life in the Real World
Supervisor: Fredrik Heintz
Opponent:

Huanyu Li

Date and time:
Title: Ontology-Driven Data Access and Data Integration with an Application in the Materials Design Domain
Supervisor:
Opponent:

August Ernstsson

Date and time:
Title: Pattern-based Programming Abstractions for Heterogeneous Parallel Computing
Supervisor:
Opponent: 

Rouhollah Mahfouzi

Date and time:
Title: Security-Aware Design of Cyber-Physical Systems for Control Applications
Supervisor:
Opponent:

Zeinab Ganjei

Date and time: April 23rd, 2021
Title: Parameterized Verification of Synchronized Concurrent Programs
Supervisor: Senior Lecturer Ahmed Rezine
Opponent: Professor Alastair Donaldson, Imperial College London, UK

Shanai Ardi

Date and time: February 8th, 2021
Title: Vulnerability and Risk Analysis Methods and Application in Large Scale Development of Secure Systems
Supervisor: Professor Kristian Sandahl
Opponent: Professor Edgar Weippl, Universität Wien, Austria

 

 

Robin Kurtz

Date and time: September 25th, 2020
Title: Contributions to Semantic Dependency Parsing: Search, Learning, and Application
Supervisor: Professor Marco Kuhlmann
Opponent: Professor Lilja Övrelid, University of Oslo, Norway

 

 
Biman Roy

Date and time: April 23rd, 2020
Title: Applications of Partial Polymorphisms in (Fine-Grained) Complexity of Constraint Satisfaction Problems
Supervisor: Professor Peter Jonsson
Opponent: Professor Arnaud Durand, Paris-Diderot, France

 

Daniel de Leng

Date and time: September 25th, 2019
Title: Robust Stream Reasoning Under Uncertainty
Supervisor: Professor Patrick Doherty
Opponent: Professor Nick Hawes, University of Oxford, UK

Ulf Kargén

Date and time: September 25th, 2019 at 13.15
Location: Planck, building F, Campus Valla
Title: Scalable Dynamic Analysis of Binary Code
Supervisor: Professor Nahid Shahmehri
Opponent: Prof. Dr. Uwe Assman, Technische Universität Dresden, Germany

Vengatanathan Krishnamoorthi

Date and time: March 13th, 2018
Title: Efficient HTTP-based Adaptive Streaming of Linear and interactive Videos
Supervisor: Docent Niklas Carlsson
Opponent: Professor Carsten Griwodz, University of Oslo, Norway

Zlatan Dragisic

Date and time: September 26th, 2017
Title: Completion of Ontologies and Ontology Networks
Supervisor: Professor Patrick Lambrix
Opponent: Prof. Dr. Erhard Rahm, Universität Leipzig, Tyskland

Simon Ståhlberg

Date and time: October 3rd, 2017
Title: Methods for Detecting Unsolvable Planning Instances using Variable Projection
Supervisor: Professor Peter Jonsson
Opponent: Prof. Dr. Malte Helmert, University of Basel, Switzerland

 

Meysam Aghighi, Linköping University

Date and time: June 16th, 2017
Title: Computational Complexity of some Optimization Problems in Planning
Main supervisor: Professor Peter Jonsson, IDA
Opponent: Professor Hector Geffner, Universitat Pompeu Fabra, Spanien

Nicolas Melot, Linköping University

Date and time: January 30th, 2017
Location: Visionen, building B
Title: Algorithms and Framework for Energy Efficient Prallel Stream Computing on Many-Core Architectures
Main supervisor: Professor Christoph Kessler, IDA
Opponent: Prof. Dr.-Ing. Jürgen Teich, University of Erlangen-Nuremberg, Germany

Amir Aminifar, Linköping University

Date and time: March 22nd, 2016 at 13.15
Location: Visionen, building B
Title: Analys, Design, and Optimization of Embedded Control Systems
Main supervisor: Professor Petru Eles, IDA
Opponent: Professor Giorgio Buttazzo, Scuola Superiore Sant'Anna, Italy

Ekhiotz Vergara, Linköping University

Date and time: April 1st, 2016 at 13.15
Location: Visionen, building B
Title: Energy Modelling and Fairness for Efficient Mobile Communication
Main supervisor: Professor Simin Nadjm-Tehrani, IDA
Opponent: PhD Andrew Rice, University of Cambridge

Victor Lagerkvist, Linköping University

Date and time: February 3rd, 2016
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
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

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
Abstract

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
Abstract

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
[an error occurred while processing this directive]