PhD Position in QBF solving
There is an opening for a funded PhD position in Quantified Boolean Formula (QBF) solving.
More information can be found here.
News
Markus Wallinger receives Award of Excellence for his PhD Thesis
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
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
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
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
Our best Master thesis awardee last year, Esra Ceylan, won the OCG award 2024 for her Master's thesis, supervised by …Read More »
Comments are closed.