Mathias Soeken

Expert Overview

Mathias Soeken is working on formal verification of UML/OCL models used as specification in the design of embedded systems as well as on reversible logic and quantum computation.

Things I'm Doing
 
Talks I've Given

Talks I've Given