I am:
- an "adiunkt" in the Faculty of Mathematics, Informatics and Mechanics of the Warsaw University,
- also known as Bartosz Klin.
I do:
- Operational semantics of process algebras and programming languages,
- Coalgebraic and bialgebraic methods,
- Algebraic specifications.
News:
- ICE 2012, the 5th Interaction and Concurrency Experience (attend on 16 June 2012)
- ICALP 2012, the 39th International Colloquium on Automata, Languages and Programming (attend on 9-13 July 2012)
- EPTCS, an open-access journal for rapid electronic publication of the proceedings of workshops and conferences
Contact:
- e-mail: klicvwn@mwveimuw.edu.ptol