| Institute of Informatics>>> Departments>>> Department of Foundations of Computer Science>>> |
 Magyarul
|
Department of Foundations of Computer Science
| Address: | University of Szeged |
| Szeged, Aradi vértanúk tere 1. | |
| Postal address: | H-6701 Szeged, P.O.B. 652, Hungary |
| Phone/Fax: | +36-62-544-895 |
Staff
| Name / Web page | Position | Sci. degree | Building | Room | Extension | ||
|
Head of the Department: |
Zoltán Ésik (PhD) |
professor |
DSc |
Aradi v. tere 1. |
4289 |
||
|
Staff: |
professor |
DSc |
Árpád tér 2. |
42 |
4302 |
||
|
associate professor |
PhD |
Aradi v. tere 1. |
|
6192 |
|||
|
Éva Gombás (Dr. Univ.) |
lecturer |
Aradi v. tere 1. |
4205 |
||||
|
lecturer |
PhD |
Aradi v. tere 1. |
|
4494 |
|||
|
lecturer |
PhD |
Aradi v. tere 1. |
4205 |
All extensions can be dialled directly from outside the university with the +(36 62) 54XXXX number, where XXXX denotes the extension. The operator can be dialled with the +(36 62) 544000 number.
Education
Main courses
For full time students:
- Automata and formal languages (I703, IB703)
- Automata and formal languages (IMN101)
- Computational complexity (I507, IB507)
- Cryptography (IB684)
- Database System Theory (I701)
- Formal languages (IB403)
- Formal Methods (IMN409)
- Foundations of computer science (I512, IB512)
- Logic and its applications in computer science (I604)
- Logic in computer science (I607, IB607)
- Verification of hardware and software systems (IB615)
For part time students:
- Automata and formal languages (IL703, IBL703)
- Automata and formal languages (IML101)
- Computational complexity (IL607, IBL607)
- Database System Theory (IL701)
- Formal languages (IBL403)
- Foundations of computer science (IL512, IBL512)
- Logic and its applications in computer science (IL604)
- Logic in computer science (IL607, IBL607)
- Verification of hardware and software systems (IBL615)
Specialization courses
- Automata and formal logic (I0161)
- Computability (I013)
- Dynamic logic (IMN229)
- DNA computation (I0164)
- Fixed Points in Computer Science (IMN280)
- Model checking (I0163)
- Process Algebra (IMN236)
- Quantum computing (I675)
- Semantics of programming languages
- Term rewrite systems (I(B)0162 , IMN238)
Research
Research areas
Algebra, categories and logic in computer science
Theory of automata and formal languages
Theory of tree automata and tree transducers
Fixed point operations and iteration theories
Process algebra
Term rewrite systems
Research Reports
2006-2009
Research report of the department
2003-2006
Research report of the department
2000-2003
Publications
Publications of the members of the departments
Research Partners of the Department
- Stevens Institute of Technology
- University of Waterloo
- University of Paris 6 and 7
- University of Bordeaux
- University of Rome La Sapienza
- University of Aalborg
- University of Stuttgart
- Technical University of Vienna
- Technical University of Dresden
- Queen's University
- University of Tarragona
- Kyoto Sangyo University
- University of Aizu
- University of Thessaloniki
- University of Leipzig
- Reykjavik University
|
Edited by: zlnemeth[at]inf[dot]u-szeged[dot]hu |
Last modification: 8 Febr 2011 |