| Name | Thema | Abschluss |
| Jan Carstens | Testmustergenerierung durch Kombination Boolescher Beweiser | Diplom |
| Jannes Dinse | System-on-Chip Entwurf eines RISC mit einem FPGA | Diplom |
| Hristina Fidanoska | Complete Algorithms for Solving the Boolean Satisfaiablitity Problem | Bachelor |
| Alexander Finder | Heuristische Verfahren zur Logiksynthese für Pseudo Kronecker Ausdrücke | Diplom |
| Manuel Friebus | Visualisierung von SystemC auf Systemebene | Diplom |
| Markus Groß | Co-Simulation von SystemC-Modellen unterschiedlicher Abstraktionsebenen | Bachelor |
| Finn Haedicke | Constraint gesteuerte pseudo-zufällige Stimuli-Erzeugung basierend auf SMT-Beweisern | Diplom |
| Hoang M. Le | Formal Verification of abstract SystemC designs via Bounded Model Checking | Diplom |
| Andreas Schröder | Entwicklung eines Synthese-Verfahrens für SystemC-Beschreibungen | Bachelor |
| Olaf von der Ahe | Formale Verifikation von sequentiellen Schaltkreisen mittels QBF-Beweisern | Diplom |
| Hongyan Zhang | Modellierung, Validation und Verifikation der SIMATIC S5 CPU | Diplom |
