Dipl. Math. Johannes Greiner
Ich promoviere am Institut für Algebra und bin im Graduiertenkolleg QuantLA assoziierter Student. Mein Betreuer ist Prof. Dr. Manuel Bodirsky.
Ich forsche im Gebiet der Bedingungs-Erfüllungs Probleme (Constraint Satisfaction Problems - CSP) für unendliche Strukturen. Speziell beschäftige ich mich mit der Kombination von Strukturen und Algorithmen zur Lösung von deren Erfüllbarkeitsproblem. Mich interessiert besonders wann diese Entscheidungsprobleme in Polynomialzeit lösbar sind und wann sie NP-vollständig sind.
Im Studium habe ich mich auf Kryptographie spezialisiert. Der Titel meiner Diplomarbeit lautet „Homomorphe Signaturen für Netzwerkcodierung“.