Toshiki is interested in category theory and categorical logic. His projects are aiming at applications to ordinary/cyber-physical/stochastic/quantum systems in universal ways. See his web page for his works.

Research student.

Research Scholar. Tobias’s research has been revolving around logic, verification, and category theory.

Graduate Student. Jason is interested in category theory and information theory ...

Former postdoc. Interested in categorical structures in computer science.

Researh student. Toshiki is interested in category theory and categorical logic...

Member. He now often thinks a lot about category theory and is partly responsible for the Catster YouTube videos on category theory.

Member. Interested in algebras and logics of security systems...

Member. Viktor is applying categorical tools to macroeconomics...

Member. His current research interests are mostly in secure Internet architectures and network security...

Member. Dr. Li's research interests span from secure computation for Internet of Things to privacy at smart homes...

Former research student. Interested in cryptographic protocols for web applications...

Member. Visiting Professor at Royal-Holloway...

Former postdoc. Christina’s interests lie in Category Theory, especially monoidal and enriched categories...

Member. Christian's main interest is the *Man-At-The-End Attack...*

Member. Interested in computer arithmetic, hardware security, formal methods....

Research Student. Interested in cryptography, game theory and algorithmic information theory...