???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Tim Henke

Nomes de citação

  • Henke, Tim

Identificadores de autor

Ciência ID
A818-5ED7-8A3F
ORCID iD
0000-0001-5856-9804
Formação
Grau Classificação
2020/09/01 - 2024/05/28
Concluído
PhD in Quantum Mathematics (Doktor (PhD))
Syddansk Universitet, Dinamarca
"The Quantum Geometry of Parabolic Moduli Spaces and the Hitchin-KZ Equivalence" (TESE/DISSERTAÇÃO)
2017/09/01 - 2020/08/31
Concluído
Master of Mathematics (Master)
Universiteit van Amsterdam, Países Baixos
"Localisation and Instanton Counting in Super Yang–Mills Theory" (TESE/DISSERTAÇÃO)
2017/09/01 - 2020/08/01
Concluído
Master of Physics (Master)
Universiteit van Amsterdam, Países Baixos
"Localisation and Instanton Counting in Super Yang–Mills Theory" (TESE/DISSERTAÇÃO)
2017/09/01 - 2019/08/31
Concluído
Master of Logic (Master)
Universiteit van Amsterdam, Países Baixos
"The van Benthem Characterisation Theorem for Descriptive Models" (TESE/DISSERTAÇÃO)
2014/09/01 - 2017/08/31
Concluído
Bachelor of Mathematics (Bachelor)
Universiteit van Amsterdam, Países Baixos

Vrije Universiteit Amsterdam, Países Baixos
"On the universality of measurement-based quantum computation" (TESE/DISSERTAÇÃO)
2014/09/01 - 2017/08/31
Concluído
Bachelor of Physics (Bachelor)
Especialização em Physics
Universiteit van Amsterdam, Países Baixos

Vrije Universiteit Amsterdam, Países Baixos
"On the universality of measurement-based quantum computation" (TESE/DISSERTAÇÃO)
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2024/10/01 - 2025/07/01 Pós-doutorado (Investigação) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
Produções

Publicações

Documento de trabalho
  1. Henke, Tim; Nick Bezhanishvili. Autor correspondente: 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