| Name | Topic | Abschluss |
| Eike Behrends | Detektion von Abhängigkeiten zwischen User Stories mittels NLP | Master |
| Niklas Bruns | Agentenbasierte Coverage-getriebene Verifikation von SystemC-Modellen | Bachelor |
| Ronald Smith Djomkam Yotedje | Generic Information Extraction Using Triple-Store Databases | Master |
| Hauke Edeler | Kuhhandel-Strategien in einer stochastischen, dynamischen und kompetitiven Mehrspielerumgebung mit partiell imperfekter Information | Bachelor |
| Igor Kazhdan | Das Flow-Routing-Problem von Programmable Microfluidic Devices mithilfe des Generic Problem Solvers | Bachelor |
| Schneider Kevin Leonard | Alternative area division methods for exact routing on digital microfluidic biochips | Bachelor |
| Patrick Kleinermann | Zeitsynchrone Erfassung seismischer Sensordaten | Bachelor |
| Timo Kohorst | Hardwareparallelität, moderne CPU-Instruktionen und effiziente Datenhaltung in Backupsoftware ausnutzen | Bachelor |
| Max Benjamin Nitze | Constraint-based Test-Data Generation | Master |
| Pascal Pieper | Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash | Bachelor |
| Carsten Schiefelbein | Entwurf einer drahtlosen Schnittstelle für die Onboard-Kommunikation am Beispiel des Kompaktsatelliten Eu:CROPIS | Master |
| Jil Tietjen | Untersuchung verschiedener Kodierungen von speziellen Cardinality Constraints für SAT | Bachelor |
