Bartek Klin

Bartek Klin is an Associate Professor in the Department of Computer Science at the University of Oxford and a Tutorial Fellow at University College. His research focuses on foundational aspects of computation theory, including nominal techniques, coalgebraic methods, and formal verification. Key areas include computation with atoms (nominal sets), operational semantics of programming languages, and algebraic specifications.

He has supervised several PhD students, including Zev Shirazi and Jingjie Yang, and previously advised Joanna Fijalkow, Michał Szynwelski, and Jędrzej Kołodziejski. His work bridges theoretical computer science with practical formal methods, emphasizing automata theory and modal logics.

Dr. Klin serves as Editor-in-Chief of Fundamenta Informaticae and has contributed to over 50 peer-reviewed publications since 2003, with recent work on polyregular functions, orbit-finite vector spaces, and μ-calculus extensions.