| Titel | Type | Contact person |
|---|---|---|
| Incorporating Alloy Specifications into KeY (COMPLETED) | Master/Diploma Thesis | Tianhai Liu, Christoph Gladisch |
| Verification of Shortest-Path Algorithms (COMPLETED) | Study Thesis | Thomas Pajor, Mana Taghdiri, Dorothea Wagner |
| Analyzing Alloy Models using KeY (COMPLETED) | Diploma Thesis | Mattias Ulbrich, Mana Taghdiri and Aboubakr Achraf El Ghazi |
| Applications of an Incremental SAT Solver | Master/Diploma Thesis | Mana Taghdiri |
| A Parallel Relational Solver | Master/Diploma/Study Thesis | Mana Taghdiri |
| Detecting Information Flow in Programs | Master/Diploma/Study Thesis | Mana Taghdiri |
| Analyzing Alloy Models using Z3 (COMPLETED) | Bachelor/Study Thesis | Mana Taghdiri, Aboubakr Achraf El Ghazi |
| Detecting Flaws in Verification Conditions Using Bounded Verification Techniques (COMPLETED) | Master Thesis | Aboubakr Achraf El Ghazi, Mattias Ulbrich |
| Feature Enrichment of InspectJ | Diplomarbeit/Studienarbeit |
Mana Taghdiri, Tianhai Liu |
| Titel | Type | Contact person |
|---|---|---|
| Research Assistant with Java Programming Skills | Research Assistant (Wissenschaftliche Hilfskraft) |
Mana Taghdiri |
| PhD position (50%) in the area of software analysis | Doctoral researcher / PhD (50%) |
juniorprof. Dr. Mana Taghdiri |
| PhD position in Automated Software Analysis research group | PhD position |
Juniorprof. Dr. Mana Taghdiri |