Titel | Type | Contact person |
---|---|---|
Verification of Shortest-Path Algorithms | Diplomarbeit | Thomas Pajor, Junior Prof. Dr. Mana Taghdiri, Prof. Dr. Dorothea Wagner |
Analyzing Alloy Models using KeY | Studienarbeit | Mattias Ulbrich, Mana Taghdiri and Aboubakr Achraf El Ghazi |
A Parallel Relational Solver | Master/Diplom-Arbeit | Juniorprof. Mana Taghdiri |
Titel | job type | Starting date | Contact person |
---|---|---|---|
PhD position in Automated Software Analysis research group | PhD position |
As soon as possible |
Juniorprof. Dr. Mana Taghdiri |