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.
Toshiki Kataoka
Research student.
Research Scholar. Tobias’s research has been revolving around logic, verification, and category 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...
Rui's research interests are security and privacy in wireless/mobile networks...