???global.info.a_carregar???
Identification

Personal identification

Full name
Tim Henke

Citation names

  • Henke, Tim

Author identifiers

Ciência ID
A818-5ED7-8A3F
ORCID iD
0000-0001-5856-9804
Education
Degree Classification
2020/09/01 - 2024/05/28
Concluded
PhD in Quantum Mathematics (Doktor (PhD))
Syddansk Universitet, Denmark
"The Quantum Geometry of Parabolic Moduli Spaces and the Hitchin-KZ Equivalence" (THESIS/DISSERTATION)
2017/09/01 - 2020/08/31
Concluded
Master of Mathematics (Master)
Universiteit van Amsterdam, Netherlands
"Localisation and Instanton Counting in Super Yang–Mills Theory" (THESIS/DISSERTATION)
2017/09/01 - 2020/08/01
Concluded
Master of Physics (Master)
Universiteit van Amsterdam, Netherlands
"Localisation and Instanton Counting in Super Yang–Mills Theory" (THESIS/DISSERTATION)
2017/09/01 - 2019/08/31
Concluded
Master of Logic (Master)
Universiteit van Amsterdam, Netherlands
"The van Benthem Characterisation Theorem for Descriptive Models" (THESIS/DISSERTATION)
2014/09/01 - 2017/08/31
Concluded
Bachelor of Mathematics (Bachelor)
Universiteit van Amsterdam, Netherlands

Vrije Universiteit Amsterdam, Netherlands
"On the universality of measurement-based quantum computation" (THESIS/DISSERTATION)
2014/09/01 - 2017/08/31
Concluded
Bachelor of Physics (Bachelor)
Major in Physics
Universiteit van Amsterdam, Netherlands

Vrije Universiteit Amsterdam, Netherlands
"On the universality of measurement-based quantum computation" (THESIS/DISSERTATION)
Affiliation

Science

Category
Host institution
Employer
2024/10/01 - 2025/07/01 Postdoc (Research) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
Outputs

Publications

Working paper
  1. Henke, Tim; Nick Bezhanishvili. Corresponding author: Nick Bezhanishvili. 2020. "A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem". https://academic.oup.com/logcom/article/30/7/1331/5896992?login=false.
    https://doi.org/10.1093/logcom/exaa040