Tobias Heindel

Research Scholar

contact

Tobias has been born in Munich, has studied computer science in Marburg, Saskatchewan, Freiburg, and Tübingen, has done his graduate studies in Stuttgart, Pisa, and Duisburg, and has been a Post-Doc in Enschede, Villetaneuse, SaclayPalaiseau, EdinburghCopenhagen, and Leipzig.

Through years, Tobias’s research has been revolving around logic, verification, and category theory—in the wide sense. In recent years, he was working on computational systems biology, culminating in his Marie Curie grant RUBYX on the implicit complexity of rule-based models. His diverse research interests are driven by the ideas of applied category theory.

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