Bartek Klin obtained his PhD from Aarhus University in 2004. Since then, he has held postdoctoral positions at the University of Sussex, the University of Edinburgh and the University of Cambridge. He is now a professor extraordinary at the University of Warsaw. His scientific interests include the theory of operational semantics, coalgebraic and bialgebraic methods in computer science, computation theory in sets with atoms, and algebraic specifications.
- Logical Structures in Computation, Fall 2016. Visiting Scientist.