Doctorands

• Asif, Amna
  amna.asif(at)informatik.uni-oldenburg.de
  PhD Topic: Pervasive automotive User Interfaces for Car Navigation and Orientation
• El Maamoun, Ahmad
  a.maamoun(at)informatik.uni-oldenburg.de
  Room: D 105, Phone: 0441/09722-300
• Gul, Imran Asad
  asad.gul(at)informatik.uni-oldenburg.de
  Room: A02 2-221, Phone: 0441/798-2991
  PhD Topic: Software Architectures for Self-managed Systems
  
• van Hoorn, André
  andre.van.hoorn(at)informatik.uni-oldenburg.de
  Room: A02 2-224, Phone: 0441/798-2866
  PhD Topic: Online Capacity Management for Increased Resource Efficiency of Component-based Software Systems
  
• Jakob, Christian ­
  christian.jakob(at)uni-oldenburg.de
  Room: A05 0-027 D 51, Phone: 0441/798-4091
  PhD Topic: Gesellschaftsrechtliche Anforderungen an "Risikomanagementsysteme"
• Kiss Iakab, Kinga
  kinga.kiss-jakab(at)informatik.uni-oldenburg.de
  Room: A04 2-224, Phone: 0441/798-2365
  ­PhD Topic: Dependable Data Management in Dynamic Distributed Systems
• Linker, Sven
  sven.linker(at)informatik.uni-oldenburg.de
  Room: A02-2-206, Phone: 0441/798-4727
• Müllner, Nils
  nils.muellner(at)informatik.uni-oldenburg.de
  Room: A04 2-218, Phone: 0441/798-4878
  PhD Topic: Fault Tolerance: Masking vs. Non-masking Fault-tolerant Systems
  
• Oppermann, Felix
  felix.oppermann(at)informatik.uni-oldenburg.de
  Room: A04 2-218, Phone: 0441/798-4611
  PhD Topic: Framework for End-User-Requirements Driven Design and Deployment of Wireless Sensor Networks
• Radke, Hendrik
  hendrik.radke(at)informatik.uni-oldenburg.de
  Room: A02 2-207, Phone: 0441/798-4489
  PhD Topic: Correctness of Graph Programs with respect to monadic Graph Conditions
• Schmidt, Bernd
  bernd.schmidt (at) uni-oldenburg.de
  Room: A05 1-107, Phone: 0441/798-4137
  PhD Topic: IT-Compliance

Our former Ph.D. students with scholarship:

• Boskovic, Marko
  marko.boskovic(at)informatik.uni-oldenburg.de
  Room: A02 2-219, Phone: 0441/798-5173
  PhD Topic: Model Driven Performance Measurement and Assessment with Relational Traces
  
• Dhama, Abhishek
  abhishek.dhama(at)informatik.uni-oldenburg.de
  Room: A04 2-226
  PhD Topic: An algebra for composition of self-stabilizing distributed algorithms
• Happe, Jens
  jens.happe(at)informatik.uni-oldenburg.de
  Room: A02 2-235, Phone: 0441/798-2365
  PhD Topic: Predicting
  Software Performance in Symmetric Multi-Core and Multi-Processor Environments
• Koziolek, Heiko
  heiko.koziolek(at)informatik.uni-oldenburg.de
  Room: A02 2-235, Phone: 0441/798-2365
  PhD Topic: Parameter Dependencies for Reusable Performance Specifications of Software Components
• Lipskoch, Henrik
  henrik.lipskoch(at)informatik.uni-oldenburg.de
  Room: OFFIS E83
  Phone: 0441/9722-240
  PhD Topic: Energy optimisation of embedded hardware/software systems
• Meyer, Roland
  roland.meyer(at)informatik.uni-oldenburg.de
  Room: A02 2-206, Phone: 0441/798-4727
  PhD Topic: Structural Stationarity in the π-Calculus
• Pennemann, Karl-Heinz
  k.h.pennemann(at)informatik.uni-oldenburg.de
  Room: A2 2-209, Phone: 0441/798-2978
  PhD Topic: Development of Correct Graph Transformation Systems
• Rakow, Astrid
  astrid.rakow(at)informatik.uni-oldenburg.de
  Phone: 0441/798-2043
  PhD Topic: Slicing and Reduction Techniques for Model Checking Petri Nets
• Rohr, Matthias
  matthias.rohr('at.)informatik.uni-oldenburg.de
  Room: A02 2-220 , Phone: 0441/798-4667
  PhD Topic: Timing Behavior Anomaly Detection for Automatic Fault Localization
• Storm, Christian
  christian.storm(at)informatik.uni-oldenburg.de
  Room: A4 2-224, Phone: 0441/798-4721
  PhD Topic: Adaptive Dynamic Data Replication Schemes
• Swaminathan, Mani
  mani.swaminathan(at)informatik.uni-oldenburg.de
  Room: OFFIS O-128, Phone: 0441/9722-513
  PhD Topic: A Framework for the Effcient Symbolic Robust Safety Analysis of Timed Systems
• Warns, Timo
  timo.warns(at)informatik.uni-oldenburg.de
  Room: A04 2-226, Phone: 0441/798-2365
  PhD Topic: Structural Failure Models for Fault-tolerant Distributed Computing
• Winteler, Daniel
  daniel.winteler(at)uni-oldenburg.de
  Room: A05 0-027, Phone: 0441/798-4091
  PhD Topic: Haftung und Regress des Automobilherstellers am Beispiel fehlerhafter
  Fahrzeugsoft-
  ware

Our current Ph.D. students with other funding:

• Teige, Tino
  tino.teige(at)informatik.uni-oldenburg.de
  Room: OFFIS D118, Phone: 0441/9722-535
  PhD Topic: Stochastic Satisfiability Modulo Theory: A Technique for the Analysis of Probabilistic Hybrid Systems

Our former Ph.D. students with other funding:

• Becker, Steffen
  steffen.becker(at)informatik.uni-oldenburg.de
  University of Karlsruhe, Am Fasanengarten 5, Room 323
  Phone: 0721/6085994
  PhD Topic: Coupled Model Transformations for QoS Enabled Component Based Software Design
• Giesecke, Simon
  simon.giesecke(at)informatik.uni-oldenburg.de
  Room: A2 2-224, Phone: 0441/798-2991
  PhD Topic: Platform Selection using Middleware-oriented Architectural Styles
• Platzer, André
  platzer(at)informatik.uni-oldenburg.de
  Room: A03 2-206, Phone: 0441/798-2971
  PhD Topic: Differential Dynamic Logic: Automated Theorem Proving for Hybrid Systems
• Ploski, Jan
  jan.ploski(at)offis.de
  Room: OFFIS E68, Phone: 0441/9722-184
  PhD Topic: Probabilistic Event-Based Failure Diagnosis for the Grid
• Westphal, Bernd
  bernd.westphal(at)informatik.uni-oldenburg.de
  Phone: +49 441 9722-506
  PhD Topic: Specification and Analysis of Dynamic Topology Systems
  

Our former qualification scholarship holders:

• Kiss Iakab, Kinga (former scholarship holder 01.08.2007-31.03.2008)
  kinga.kiss-jakab@informatik.uni-oldenburg.de
  Telefon : 0441 798-4540
  Raum: A04-2-226