Dr S.A. Terwijn (Sebastiaan)
Associate professor - Mathematics
6525 AJ NIJMEGEN
Internal postal code: 59
6500 GL NIJMEGEN
Mathematical logic, theoretical computer science, in particular computability and complexity theory. Topics I have worked on include: algorithmic randomness, Kolmogorov complexity, generic sets, measure theory and Hausdorff dimension, proof theory, algebraic logic, computational learning theory, hidden Markov models, probabilistic logic, Mededev and Muchnik degrees, lambda calculus and combinatory algebra, and information theory.
No relevant ancillary positions have been specified by Dr S.A. Terwijn (Sebastiaan).