I am a postdoctoral researcher; currently working with Michael Pinsker at TU Wien, employed on FWF project I5948

• I obtained my PhD in 2022 at TU Dresden under the supervision of Franz Baader and Manuel Bodirsky (Grade: Summa)

• My research interests lie mainly in mathematical logic and constraint satisfaction problems (CSPs); CV: link 

• When not working on CSPs, you can usually find me bouldering or mountain-biking

Memories from not necessarily research-related activities:

Contact: jakub [.] rydval [at] tuwien [.] ac [.] at