Dr.rer.nat. Thomas Türk
- email
- tuerk (at) in.tum.de
- was member of the group
- from 2004 to 2005
- left for
- University of Cambridge
- research interests
-
interactive theorem proving using higher order logics
translating temporal logics
alternating automata
- publications
-
all |
authored |
edited/supervised |
talks
- work
-
I first got in contact with the Embedded Systems Group by
attending the lecture Verification of Reactive Systems
in summer term 2003.
In 2004, Prof. Schneider became my tutor in the PhD-Program of
Computer Science. I got introduced in working in this group during
winter term 2003/04 while applying to the seminar
Verification of Reactive Systems.
Afterwards, I helped to write some papers (see my publications of that time).
In May 2005, I finished my Diploma Thesis.
Additionally, I presented the results of my Diploma Thesis at the
TPHOLs 2005
conference. Then, I had a look at alternating automata, which resulted in a
technical report.
From 2006 on, I was with the Automated Reasoning Group
of the University of Cambridge, and am now with the TU Munich.
|
|