Jelenlegi hely
Számítástudomány Alapjai Tanszék
A tanszék oktatási és kutatási tevékenysége az informatika matematikai alapjai köré csoportosul és a számítások alapvető természetének megértésére irányul, mely számos alkalmazáshoz vezet a hatékony algoritmusok elemzésében és tervezésében, valamit a megbízható hardver- és szoftverrendszerek tervezésére és ellenőrzésére szolgáló formális módszerek fejlesztésében.
Aktuális kutatási területeink többek között az automaták és formális nyelvek elmélete, valamint algebra, logika és kategóriák a számítástudományban.
A tanszék elérhetősége
| Cím: |
Számítástudomány Alapjai Tanszék |
| Levelezési cím: | H-6701 Szeged, Postafiók 652. |
| Telefon/Fax: | +36-62-544-895 |