Dr.rer.nat. Thomas Türk

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

Fachbereich Informatik