Stefan Szeider

Registered user since Wed 20 Nov 2024

Name:Stefan Szeider
Bio:

Stefan Szeider is an Austrian computer scientist and full professor at the Faculty of Informatics at the Vienna University of Technology (TU Wien), where he chairs the Algorithms and Complexity Group. He is also a visiting scientist at the Simons Institute for the Theory of Computing at UC Berkeley. Specializing in algorithms, logic, computational complexity, and theoretical computer science, Szeider focuses on designing efficient algorithms for challenging problems in Artificial Intelligence and Logic. With a doctorate from the University of Vienna, he has held positions at universities in the UK and Canada. Szeider co-founded the Vienna Center for Logic and Algorithms, was the first Austrian computer scientist to receive an ERC Starting Grant, and has published over 200 articles in scientific journals and conference proceedings.

Country:Austria
Affiliation:Vienna University of Technology (TU Wien)
Research interests:Artificial Intelligence, Algorithms, Logic, Discrete Mathematics, Optimisation, Satsifiability

Contributions