Nancy studied Information Systems at Strathmore University in Nairobi, Kenya. Her early research interests are in cryptographic protocols.
Nancy Mogire
Former 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...
Member. Fred advises across all research areas...
Founder. Dusko is interested in security and adaptation...