Felix Ulrich-Oltean

Dr. Felix Ulrich-Oltean is a Lecturer in the Department of Computer Science at the University of York. His research focuses on constraint satisfaction, combinatorial optimization, boolean satisfiability, and machine learning applied to automated algorithm selection and configuration. He holds a PhD in Computer Science from the University of York (2019–2023), a PGCE in Secondary Mathematics from Leeds Trinity University, and a BSc in Computer Science from the University of York.

His recent work emphasizes SAT encoding techniques for pseudo-boolean and linear integer constraints, with contributions to automated tabulation methods in constraint models. Research trends include integrating machine learning for algorithm selection, optimizing constraint satisfaction problem resolution, and developing efficient SAT-based solutions for complex combinatorial problems.

No scientific awards or grants are explicitly mentioned in the provided texts. He advises no listed students and has no disclosed lab affiliations. His office is located at CSE/108, and contact is facilitated through a university web form to protect email privacy.