Member. Interested in algebras and logics of security systems...
Member. Christian's main interest is the Man-At-The-End Attack...
Former postdoc. Christina’s interests lie in Category Theory, especially monoidal and enriched categories...
Member. Dr. Li's research interests span from secure computation for Internet of Things to privacy at smart homes...
Founder. Dusko is interested in security and adaptation...
Member. Fred advises across all research areas...
Former postdoc. Interested in categorical structures in computer science.
Research Student. Interested in cryptography, game theory and algorithmic information theory...
Former research student. Interested in cryptographic protocols for web applications...
Member. Interested in computer arithmetic, hardware security, formal methods....
Rui's research interests are security and privacy in wireless/mobile networks...
Member. He now often thinks a lot about category theory and is partly responsible for the Catster YouTube videos on category theory.
Research Scholar. Tobias’s research has been revolving around logic, verification, and category theory.
Researh student. Toshiki is interested in category theory and categorical logic...
Member. Viktor is applying categorical tools to macroeconomics...
Member. Visiting Professor at Royal-Holloway...
Member. His current research interests are mostly in secure Internet architectures and network security...