15

May

New PhD: Friedrich Slivovsky

Friedrich Slivovsky successfully defended his PhD thesis "Structure in #SAT and QBF" on May 5th, 2015. Congratulations!

Friedrich, who conducted his PhD studies under the advise of Stefan Szeider, is now working as a post-doc in the research project "Variable Dependencies of Quantified Boolean Formulas" (FWF P27721)

News

Markus Wallinger receives Award of Excellence for his PhD Thesis
2024-12-05
Our former group member Markus Wallinger won the Award of Excellence by the Federal Ministry for Education, Science and Research. …Read More »
Thomas Depian receives State Prize for his Master’s Thesis
2024-11-21
Our group member Thomas Depian won the Appreciation Award given by the Federal Ministry for Education, Science and Research. This …Read More »
Best Paper Award at GECCO 2024 for M. Bresich, G. Raidl, and S. Limmer
2024-07-24
Maria Bresich, Günther Raidl, and Steffen Limmer received the best paper award at the 2024 Genetic and Evolutionary Computation Conference …Read More »
Welcome to our Feodor Lynen Fellow Dr. Frank Sommer
2024-06-14
On June 1, 2024, Dr. Frank Sommer has joined the Algorithms and Complexity group with a prestigious Feodor Lynen postdoc …Read More »
Esra Ceylan won the OCG Award 2024
2024-05-31
Our best Master thesis awardee last year, Esra Ceylan, won the OCG award 2024 for her Master's thesis, supervised by …Read More »