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:
- EPTCS, an open-access journal for rapid electronic publication of the proceedings of workshops and conferences
Contact:
- e-mail: klicvwn@mwveimuw.edu.ptol