At the highly competitive  ”Information and Communication Technology” Project Call of the Vienna Science and Technology Fund (WWTF), three projects from members of the Algorithms and Complexity group where successful.

Engineering Linear Ordering Algorithms for Optimizing Data Visualizations. PI: Martin Nöllenburg 
Learning to Solve Quantified Boolean Formulas. PI: Friedrich Slivovsky
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI. PI Stefan Szeider

All three projects together amount to a total funding sum of over EUR 1.3 Mio.

Out of 96 submitted short proposals, 26 have been invited to submit a full proposal, and 9 of

Tomáš Peitl successfully defended his PhD thesis “Advanced Dependency Analysis for QBF” on October 14, 2019. Congratulations!

Tomáš was was supervised by Stefan Szeider and co-supervised by Friedrich Slivovsky.

In November, he will start with his FWF Erwin Schrödinger scholarship a postdoc position at the Friedrich Schiller Universität Jena.

Our solver htdSMT submitted by André Schidler and Stefan Szeider achieved the first place in the PACE’19 competition for the Track Hypertree Width/Exact.

PACE’19 is the 4th edition of the Parameterized Algorithms and Computational Experiments Challenge,  which was conceived in Fall 2015 to deepen the relationship between parameterized algorithms and practice. Implemented algorithms are submitted and ranked by their performance on a large set of benchmark problem instances.

PACE’19 had three tracks: Vertex Cover, Hypertree Width/Exact, and Hypertree Width/Heuristic. Our algorithm HtdSMT came first in the Hypertree Width/Exact track.

The award ceremony took

Neha Lodha successfully defended her PhD thesis “SAT Approach to Decomposition” on June 18,, 2019. Congratulations!

Neha was was supervised by Stefan Szeider.

Neha was one of the first students who joined the Doctoral Program Logical Methods in Computer Science (LogiCS) where she was a student representative.

The Algorithms and Complexity Group has currently three female PhD students:

Thekla Hamm works in the FWF funded research project “New Frontiers for Parameterized Complexity (FWF P31336)” under the advise of  Dr. Robert Ganian.
Guangping Li works in the FWF funded research project “Human-centered Algorithm Engineering: Graph and Map Visualization (FWF P31119)” under the advise of Prof. Martin Nöllenburg.
Neha Lodha works in the FWF funded Doctoral College “Logical Methods in Computer Science (FWF W1255)” under the advise of Prof. Stefan Szeider.

Thekla and Guanping joined just recently, Neha is close to completion of her PhD

Eduard Eiben received the Award of Excellence  for his outstanding PhD thesis from the Ministry of Education, Science and Research (BMBWF) on December 5, 2018.

Congratulations!

Eduard carried out his PhD work in the Algorithms and Complexity group, his advisors where Stefan Szeider, Robert Ganian, and Georg Gottlob. His work was funded by the Austrian Science Funds (FWF) via the projects:

1. Exploiting New Types of Structure for Fixed Parameter Tractability (X-Tract, FWF P26696)
2. Doctoral College on Logical Methods in Computer Science (LogiCS, FWF W1255)

Members of the Algorithms and Complexity Group together with the Vienna Center for Logic and Algorithms, presented a game at the annual Austrian science festival “Lange Nacht der Forschung” on April 13, 2018.

This year, the festival attracted a record number of 228.000 visitors to 265 exhibition stations across Austria, allowing a direct communication between the public and the researchers in a playful format.

At the Station 8, Am Hof, in Vienna’s 1st District, visitors were invited to play the game Catch the Virus (Fang das Virus), which was based on the famous Cops

Eduard Eiben successfully defended his PhD thesis “Exploiting new types of structure for fixed-parameter tractability” on April 10, 2018. Congratulations!

Eduard, who is the first student to graduate from the Doctoral Program Logical Methods in Computer Science (LogiCS) was supervised by Stefan Szeider.

The Austrian Science Fund (FWF) is funding two new projects led by members of the Algorithms and Complexity group:

1. Project “Human-Centered Algorithm Engineering” (P 31119) led by Martin Nöllenburg, and
2. Project “New Frontiers for Parameterized Complexity” (P 31336) led by Robert Ganian.

Congratulations to the new PIs!

After a successful evaluation, the Doctoral Program Logical Methods in Computer Science (LogiCS) receives funding of over EUR 3.6M from the Austrian Science Funds (FWF) for a second period.  The Doctoral program is directed by Georg Gottlob (speaker) and Stefan Szeider (deputy speaker) and has currently over 40 doctoral students.

Application for 16 new fully funded positions is open.