Florentina Voboril

Florentina Voboril is a Research Fellow in the Algorithms and Complexity group at Technische Universität Wien. Her research explores how Large Language Models can solve Constraint Programming instances efficiently, with additional focus on SAT-solving and algorithm design. She investigates applications of AI in combinatorial optimization problems and develops innovative approaches to algorithmic challenges.

Voboril has developed methods for SAT-based local improvement in string problems and generates streamlining constraints using LLMs. Her work bridges theoretical computer science with practical applications in computational biology and AI-assisted programming.