The teaching and research of the department focuses on the mathematical foundations of computer science, the understanding of the very nature of computation that find many applications in the analysis and design of efficient algorithms and developing formal methods for designing and verifying reliable hardware and software systems.
Current research topics include automata and formal languages and algebra, logic and categories in computer science.
Department of Foundations of Computer Science
University of Szeged
Szeged, Tisza Lajos krt. 103.
||H-6701 Szeged, P.O.B. 652, Hungary