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
Szegedi Tudományegyetem
Szeged, Tisza Lajos krt. 103.

Levelezési cím: H-6701 Szeged, Postafiók 652.
Telefon/Fax: +36-62-544-895