He developed formalism called dynamical maps that is one of the most fundamental formalism to study the theory of open quantum system.
Vyvinul formalismus tzv. dynamické mapy, který je jedním z nejzákladnějších formalismů pro studium teorie otevřených kvantových systémů.