You are here

Department of Foundations of Computer Science

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.
 

Contact

Address:

Department of Foundations of Computer Science
University of Szeged
Szeged, Tisza Lajos krt. 103.

Postal address: H-6701 Szeged, P.O.B. 652, Hungary
Phone/Fax: +36-62-544-895