Stipendien

Dipl. Inf. Ramin Hedayati

"Analyse der kombinierten Verwendung von SCADE und UML 2.0"

Der Schwerpunkt meiner Arbeit liegt im Bereich der modellbasierten Entwicklung mit dem Fokus auf die Modellierungssprachen UML und SCADE. Während mittels SCADE Verhaltensmodelle zur Verfügung gestellt werden, die verifiziert und aus denen zertifizierter Code generiert werden kann, bietet die UML zusätzliche Modelle mit denen z.B. sich die Struktur eines Systems beschreiben lässt. Ziel ist die Analyse der Kombinierbarkeit beider Modellsprachen (z.B. Profile oder Metamodell).

M. Sc. Oliver Schulz

"Integrierte Kommunikationsarchitektur in der Streckensicherungstechnik für Eisenbahnen"

Die fortschreitende Automatisierung im Eisenbahnbereich verlangt zukünftig nach leistungsstarken und flexiblen Datenübertragungstechniken. Meine Aufgabe ist die Entwicklung einer integrierten Kommunikationsarchitektur für die Streckensicherungstechnik. Die hohen Sicherheits- und Verfügbarkeitsanforderungen in diesem Bereich führen zum Entwurf von generischen Analysetechniken, die einen gewichtigen Anteil meiner Arbeit ausmachen.

Dipl.-Inf. Dipl.-Math. Sebastian Offermann

"Klassifizierung gültiger Aggressor-Konstellationen und falscher Pfade in digitalen Schaltungen mit SAT-Beweisern"

Meine vorrangigen Forschungsinteressen liegen in den Themenbereichen des Erfüllbarkeitsproblem (SAT) sowie der Optimierung der False Path Analyse und der Untersuchung von Crosstalks in Schaltkreisen.

Dipl. Inf. Serge Achille Fopoussi Nono

"Automatisierte Testdatengenerierung hybrider diskret-kontinuierlicher eingebetteter Systeme"

Das Thema meiner Dissertation ist die Umsetzung der Konzepte des SMT-Ansatzes (Satisfiability Modulo Theories) und die Entwicklung maßgeschneiderter und geeigneter Constraint Solver für die automatisierte Testfallgenerierung im Bereich hybrider diskret-kontinuierlicher eingebetteter Systeme.

Dipl.-Inf. Finn Haedicke

"Lösen von Erfüllbarkeitsproblemen mit Hilfe von problemspezifischem Wissen"

Meine Arbeit konzentriert sich auf die Integration von problemspezifischem Wissen in die Verifikation auf Systemebene. Dazu werden Wortebenenbeweiser weiterentwickelt und mit klassischen Ansätzen der Verifikation kombiniert.

Dipl.-Inf. Hongyan Zhang

"Test reversibeler Schaltungen"

Den Schwerpunkt meiner Forschung bildet der "Test reversibeler Schaltungen". Insbesondere beschäftige ich mich mit Fehlermodellen und ATPG reversibler Schaltungen.

Dr. André Sülflow

"Korrekter Systementwurf auf der Basis von SystemC"

Der Schwerpunkt meiner Arbeit liegt im Bereich von SystemC. Konkret untersuche ich die Möglichkeiten der Analyse und des Debuggings von SystemC Beschreibungen. Einen weiteren Schwerpunkt bildet die Untersuchung von formalen Verifikationsansätzen.

Dr. Ulrich Kühne

"Formale Verifikation von Mikroprozessoren"

Mein Schwerpunkt liegt in der formalen Verifikation. Insbesondere beschäftige ich mich mit Methoden zur integrierten Verifikation von Mikroprozessoren. Solche Systeme bestehen zu immer größeren Anteilen aus Software. Beim Einsatz in sicherheitskritischen Anwendungen ist es wichtig, neben der Korrektheit der Hardware auch sicherzustellen, dass Programme das erwünschte Verhalten zeigen.

Dr. Robert Wille

"Testverfahren auf Basis Boolescher Erfüllbarkeit"

Meine hauptsächlichen Forschungs- interessen liegen in SAT und SAT-verwandten Themen. Dabei versuche ich die existierenden Algorithmen zu verbessern und für andere Anwendungen in der formalen Verifikation, ATPG, etc zu nutzen.

Dr. Sebastian Kinder

Bereits während meines Studiums der Informatik habe ich für die AG Rechnerarchitektur im Bereich binärer Entscheidungsdiagramme geforscht. Mittlerweile beschäftige ich mich mit der formalen Verifikation und Validierung. Im besonderen untersuche ich die Anwendung von Methoden aus diesem Bereich auf Bahn- und Verkehrstechnik.

-> Meine Publikationen

Dr.-Ing. Mehrdad Babazadeh

"Energiemanagement und die modellbasierte Fehlererkennung"

Die vorliegende Dissertation untersucht das Energiemanagement und die modellbasierte Fehlererkennung, zwei für die Nutzung drahtloser Sensornetzwerke (WSNs) essentielle Aspekte. Der speziell untersuchte Einsatzbereich ist die Verwendung von beliebig verteilten Sensorknoten in einem geschlossenen (Transport)Container zur Überwachung von Umgebungsparametern, hier Temperatur und relativer Feuchtigkeitsgrad.

FB 1 IMSAS, Prof. Lang Laufzeit: 01.06.2007 – 31.05.2010

-> Kurzfassung in Deutsch[PDF] (7 KB) / Englisch[PDF] (6 KB)
-> Homepage

Mohammad Al Najar

"Flow of light energy in benthic photosynthetic microbial mats"

Microbial mats are highly complex systems with micrometer scale changes in the activity and the structural composition within in the photic zone, primarily, due to the highly heterogeneous light field. Therefore, important and fundamental questions such as the fate of light energy and the energy budget inside the microbial mats, as well as the factors affecting the variations in light utilizing efficiency between different mat ecosystems have remained unexplored. The primary aims of my thesis were the ambitious goal of assessing the first energy budget inside benthic photosynthetic microbial mat ecosystems and the subsequent understanding of the factors controlling variations in photosynthetic efficiency between different mat ecosystems. The best way to gain the needed information is by following the fate of light energy once reaches the surface of a microbial mat.

Doktorand, MPI für Marine Mikrobiologie Bremen
Laufzeit: 01.04.2007 – 31.03.2009

Zainab Abdulrahman Beiruti

"Predictive understanding of the sulfur cycle during dynamic nitrate and oxygen supply in intertidal marine sediment"

Sulfate reduction plays a key role in the marine sulfur cycle, in which sulfate is reduced to sulfide coupled to the degradation of organic matter. The focus of my thesis is to study sulfate reduction in intertidal sand flats where a large surface area leads to high microbial activities. Furthermore, the porous structure facilitates tidal pumping and pore water advection lead to high transport of electron donors and acceptors into and out of the sediment. In this project, the activity of the microbial community from the sand flat Janssand (German North Sea) will be studied using continuous culture bioreactors (Chemostat) under highly controlled conditions. The utilization and fate of sulfate, in response to dynamic perturbations caused by the periodic presence of nitrate and oxygen will be investigated. The composition of the microbial community will be analyzed. A general marker gene (16S rRNA), and functional genes, e.g. involved in sulfate and nitrate reduction and sulfide oxidation, will be examined by a suitable fingerprinting approach and metagenomic sequencing. The knowledge generated from this project may have applications in oil industry and waste water treatment.

Doktorand, MPI für Marine Mikrobiologie Bremen
Laufzeit: 17.10.2010 – 30.10.2013

-> Homepage

Dr. Stephan A. Klapp

"Natural Gas Hydrates - from the Microstructure towards a Geological Understanding"

In der Gashydrat-Forschung werden Hydrate einerseits oft hinsichtlich ihres geologischen Vorkommens untersucht und andererseits hinsichtlich ihrer chemischen und physikalischen Eigenschaften; in meiner Forschung wird der Vorstoß unternommen, beides am Beispiel der Gashydrat-Mikrostrukur zu vereinen. Dabei werden mineralogische Merkmale von Gashydraten, die von fokussierten Gasaustrittsstellen aus dem Golf von Mexiko und östlichen Schwarzen Meer geborgen wurden, beschrieben und interpretiert.

Marine Geology - AG Bohrmann 

Dr.-Ing. Enzo Morosini Frazzon

"Macro-Logistics: Information Technology, Partnership and Sustainability"

Mein Schwerpunkt liegt in der Logistiksysteme. Insbesondere beschäftige ich mich mit interdisziplinär Methoden, Konzepten und Technologien, die eine effiziente und nachhaltige Integration von Produktions- und Logistiksystemen in weltumspannenden Lieferketten ("Global Supply Chains") ermöglichen. Dafür müssen hauptsächlich die funktionalen, organisatorischen und nationalen Barrieren entlang einer Supply Chain überwunden werden.

GraduateSchool for Dynamics in Logistics

Holger Schultheis

"Computional Modeling of Control in Human Spatial Reasoning"

My research focuses on building computational cognitive models of spatial cognition. Computational cognitive models are implementations of algorithms and representations that reflect human information processing. Spatial cognition refers to the ability of humans to processes spatial information; for example, during wayfinding. Building cognitive models allows to explore and, thus, understand, human cognition more deeply and thoroughly than would be possible by empirical investigations alone.

FB 3 Informatik/Mathematik

Janina Bindernagel

"Untersuchungen zum PCK (Pedagogical Content Knowledge) von Lehrkräften im deutschen Chemieunterricht "

Meine Forschungsarbeit beschäftigt sich mit den Vorstellungen und unterschiedlichen Herangehensweisen von Lehrerinnen und Lehrern im Chemieunterricht. Interessant hieran ist besonders die Entwicklung und Veränderung des Lehrerwissens (engl.: Pedagogical Content Knowledge, Abk.: PCK). Um die vielen tagtäglichen Entscheidungen von Lehrerinnen und Lehrern zu verstehen, benötigen wir mehr Wissen über ihre Vorstellungen und Herangehensweisen zu bestimmten Unterrichtsthemen. Für die Innovation und Implementation einer Reform im Bildungswesen ist es daher Voraussetzung, etwas über diese Vorstellungen zu wissen, um diese gegebenenfalls auch ausgehend vom jetzigen Stand diskursiv zu verändern und die Lehrerinnen und Lehrer ausgehend von ihren Vorstellungen zu überzeugen. Mit diesem Dissertationsprojekt will ich die Lehrerausbildung mit der empirischen Forschung über das Wissen von Chemielehrerinnen und -lehrern verbinden. Entsprechend werden Kerngedanken des Forschenden Lernens (Wildt, 2006) umgesetzt.

FB 2 Didaktik der Chemie