My research interests are decidability questions in different computational models (automata theory, semi-Thue systems, Turing machines etc.); decidability questions on integers matrices; foundations of mathematics and computer science; logic; combinatorics on words. At the moment I am focusing on decidability questions and foundations.
|Office:||Quantum 3rd floor, room 368||Phone:||+358 (0)50 320 6267 / + 358 (0)29 450 4304||Fax:||Fax: +358 (0)2 231 0311|
|Postal address:||Department of Mathematics and Statistics|
|20014 University of Turku|
Last Modified: May 2019