Home Page of Tim Henke MSc.

Introduction

My name is Tim Henke, I am a master's student at the University of Amsterdam, currently writing my thesis for the double master's programme Mathematics and Theoretical Physics.
I have also completed the Master of Logic at the same university.

Contact details

For any additional questions or my CV, please do not hesitate to reach me through the following contact details.

Email:	tim[dot]henke[at]gmail[dot]com
LinkedIn:	My LinkedIn page

Research interests

Mathematical foundations of quantum field theory
Gauge theory and infinite-dimensional geometry
Quantum gravity
Model theory
Philosophical aspects of fundamental physics

Theses, talks, and publications

Pre-publication: A model-theoretic approach to descriptive general frames: the van Benthem characterisation theorem
In collaboration with dr. Nick Bezhanishvili, submitted May 2020. Based on my thesis for the Master of Logic
Conference talk at TACL (Topology Algebra and Categories in Logic): The van Benthem characterisation theorem for descriptive models
Bachelor thesis Mathematics and Physics & Astronomy: On the universality of measurement-based quantum computation
Supervised by prof. dr. Sonja Smets and prof. dr. Kareljan Schoutens

Currently I am writing my thesis on gauge theory and instanton counting for the master Mathematics and the master Physics & Astronomy under the supervision of prof. dr. Erik Verlinde and dr. Hessel Posthuma.

Education

Time	Level	Field	Institute	Website
09/2019 - present	Master	Theoretical Physics	University of Amsterdam	Master of Physics and Astronomy
09/2017 - present	Master	Mathematics	University of Amsterdam	Master Mathematics
09/2017 - 08/2019	Master	Logic	University of Amsterdam	Master of Logic
09/2014 - 08/2017	Bachelor	Mathematics	University of Amsterdam	Bachelor Mathematics
09/2014 - 08/2017	Bachelor	Physics and Astronomy	University of Amsterdam	Bachelor Physics and Astronomy

Teaching experience

I have been a teaching assistant in the following subjects:

Real analysis (emphasis on infinite series)
Mathematical logic
Modal logic
Training for the International Mathematics Competition
General high school curriculum, specialising in exact sciences

Personal

Next to my studies, I am an avid player of table tennis and foosball. Moreover, I can generally be found hanging out with fellow students and other friends. I speak Dutch, English, and German, but I'm trying to learn Italian, because I think it's a beautiful language and it's very similar to Latin, which I always loved to learn in high school, although I unfortunately almost never have time for it nowadays.

I like playing the piano, I love cats (although I do certainly also like dogs) and I've taken up playing chess. (Look me up on my profile, if you'd like to play a game.) Apart from that, a friend of mine has recently convinced me to start training poekoelan, an Indonesian martial art, which I enjoy tremendously.