Dusko Pavlovic

Founder

contact

Dusko was born in Sarajevo, studied mathematics at Utrecht, worked as a postdoc at McGill, and taught at Imperial College and at Sussex. He left academia 1999-2009, to work in software research at Kestrel Institute in Palo Alto. He returned to academia as a Visiting Professor at University of Oxford in 2008-2012, a Professor at Royal Holloway University of London 2011-13, and he moved to University of Hawaii in 2013.

Through years, Dusko’s research evolved from mathematics (graphs, categories) through theoretical computer science (semantics, symbolic computation) and software engineering (behavioral specifications, adaptation), to security (protocols, trust, physical security) and network computation (information extraction). The resulting publications and the slides of some of the recent courses and talks are available from this web page. For more about the current research projects, please see the Research page.

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