Dr. Oleg Travkin

Forschung im Bereich nebenläufiger Datenstrukturen (z.B. Treiber Stack oder STMs) und deren Verifikation (formale Beweise und Model Checking) unter Einfluss schwacher Speichermodelle (Semantik heutiger Mehrkernprozessoren). Publizieren von Forschungsergebnissen (siehe http://dblp.uni-trier.de/pers/hd/t/Travkin:Oleg). Entwurf und Implementierung meines Forschungsansatzes als Eclipse-Integration. Betreung wissenschaftlicher Arbeiten, Organisation von Lehrveranstaltungen, Leitung studentischer Hilfskräfte

Entwicklung und Implementierung in verschiedenen Projekten der Fachgruppe Softwaretechnik von Prof. Wilhelm Schäfer. Zu den bekanntesten Tools, an denen ich mitgewirkt habe, gehören Fujaba, Mechatronic UML, Reclipse und Archimetrix. Sie zeichnen durch einen Modellgetriebenen Ansatz beim Entwurf und dem Reverse Engineering von Software aus. Zu den wichtigsten Tätigkeiten zählten die Entwicklung von Parsern, Modell-zu-Modell-, sowie Modell-zu-Text-Transformationen, aber auch der Entwurf der Modelle selbst.

Entwicklung eines Konfigurations-Tools (als Eclipse-RCP) für das automatisierte Testen der MISRA-Metriken mit Hilfe von QA-C

Titel der Dissertation: Verifying Concurrent Programs under Weak Memory Models

Vertiefungsgebiet: Softwaretechnik

Nebenfach Physik