Scholarships

Dipl. Inf. Ramin Hedayati

"Analysis of the combined application of SCADE and UML 2.0"

My research is concerned with the area of model-based development, with a focus on the modeling languages UML and SCADE. Whereas SCADE enables provides and verifies behavioral models from which it is possible to generate certified codes, UML makes additional models available by means of which, for instance, it is possible to describe the structure of a system. The research objective is to analyze the combinability of the two modeling languages (e.g. profile or metamodel).

M. Sc. Oliver Schulz

"Integrated communication architecture in track safety systems for railroads"

The progressive automation in the area of railroad operation calls for high-performance flexible data-transmission solutions. My research objective is to develop an integrated communication architecture for track safety systems. The high safety and availability requirements in this area necessitate the development of generic analysis techniques. This constitutes an important part of my work.

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

"Classification of valid aggressor constellations and false pathways in digital circuits using SAT solvers"

My main research interest lies in the thematic area of satisfiability problems (SAT) and the optimization of false path analysis and the investigation of crosstalks in integrated circuits.

Dipl. Inf. Serge Achille Fopoussi Nono

"Automated test data generation of hybrid discrete-continual embedded systems"

The topic of my doctoral dissertation is the implementation of concepts derived from the SMT approach (satisfiability modulo theories) and the development of customized and suitable constraint solvers for the automated generation of test cases in the area of hybrid discrete-continual embedded systems.

Dipl.-Inf. Finn Haedicke

"Resolving satisfiability problems with the aid of authentic knowledge"

My research work concentrates on the integration of authentic knowledge in verification at the systems level. The aim is to advance word-level solvers and combine them with verification approaches.

Dr. André Sülflow

"Improved System Design on the Basis of SystemC"

The focus of my work lies in the area of SystemC. To be more precise, I am investigating the possibilities for analysis and debugging of SystemC descriptions. A further focus lies in the investigation of formal approaches of verification.

Dr. Ulrich Kühne

"Formal Verification of Microprocessors"

My research focus is on formal verification. In particular, I am investigating methods to integrate verification in microprocessors. Such systems increasingly make use of software. When used for applications which are particularly security-sensitive it is important to ensure that, besides the correctness of the hardware, the programs exhibit the desired behavior.

Dr. Robert Wille

"Testing methods on the basis of Boolean satisfiability"

My main research interests are in SAT and SAT-related topics. I am working on the improvement of existing algorithms and their applications in formal verification, ATPG, etc.

Dr.-Ing. Mehrdad Babazadeh

"Energy management and model-based error detection"

My doctoral project is in the field of energy management and model-based error detection, two essential aspects in the use of wireless sensor networks. The research focus here is on the application of randomly distributed sensor nodes in closed (transport) containers to monitor ambient parameters; in this case temperature and levels of relative humidity.

Faculty 1 IMSAS, Prof. Lang. Funding period: 01.06.2007 – 31.05.2010

-> Summary in German[PDF] (7 KB) / English[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"

As a rule, research on gas-hydrates concentrates on geological reserves, on the one hand, and with their chemical and physical properties on the other; my approach is to combine these two aspects of research by examining the microstructure of gas-hydrate. I am therefore investigating and describing the mineralogical characteristics of gas-hydrates obtained from focused gas vents in the Gulf of Mexico and the eastern Black Sea.

Marine Geology - AG Bohrmann 

Dr.-Ing. Enzo Morosini Frazzon

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

My research focus lies in the area of logistics systems. I am particularly interested in interdisciplinary methods, concepts and technologies which enable the efficient and sustainable integration of production and logistics systems in global supply chains. Research is needed to overcome the functional, organizational and national barriers along the supply chain.

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.

Faculty 3 Computer Science/Mathematics

Janina Bindernagel

"Studies on the PCK (Pedagogical Content Knowledge) of teachers in chemistry classes in Germany"

My research centers on the expectations and different approaches of teachers in chemistry classes with a special focus on pedagogical content knowledge. In order to understand the numerous decisions teachers make in the course of their daily work we need to know more about their expectations and approach to certain classroom situations and topics. This knowledge is a prerequisite for introducing innovation and implementing education reform; in order to influence the current state it is necessary to convince teachers at the level of their expectations. The aim of my doctoral dissertation is to combine aspects of teacher training with empirical research on the pedagogical content knowledge of chemistry teachers. Accordingly, core concepts of inquiry learning are applied.

Faculty 2 Didactics of Chemistry