Profile
Stefan Szeider
szeider.bsky.social
did:plc:5nqjejdixhfq2rlhlnyso6bn
Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)