I’m a researcher at the Institute of Theoretical and Applied Informatics, Polish Academy of Sciences. I work on quantum information theory and programming languages.