I am:

• an Associate Professor in the Department of Computer Science of the University of Oxford,
• a Tutorial Fellow in University College,
• Editor-in-Chief of Fundamenta Informaticae,
• also known as Bartosz Klin.

I do:

• Computation theory with atoms, or computation in nominal sets,
• Operational semantics of process algebras and programming languages,
• Coalgebraic and bialgebraic methods,
• Algebraic specifications.

My students:

• Joanna Fijalkow (Ochremiak) (until Feb. 2016)
• Michał Szynwelski (until Dec. 2022)
• Jędrzej Kołodziejski
• Zev Shirazi
• Jingjie Yang

Contact:

• e-mail: bartek.klicvwn@cwves.ox.atoc.uk