Számítógéptudományi Tanszék

Általános információk Események Oktatás Kutatás
Elérhetőségek Aktualitások Aktuális syllabus-ok Témák
Kitüntetések Szemináriumok Témák diákoknak Publikációk
Külkapcsolatok Konferenciák Oktatási anyagok Projektek
Történet      

Tanszékvezető

Tagok

  • Dr. Aszalós László, egyetemi docens
    • logika, optimalizálás, életlen halmazelmélet
  • Dr. Battyányi Péter, adjunktus
    • lambda-kalkulus, típuselmélet, nemstandard számítási modellek (membránkalkulus, kémiai kalkulus), programnyelvek szemantikája, programhelyesség
  • Bálint Gergely Tamás, tanársegéd
    • kódelmélet, adatbányászat, diszkrét geometria
  • Bertók Csanád, tanársegéd
    • számelmélet, diofantikus egyenletek
  • Dr. Csirmaz László, egyetemi docens
    • halmazelmélet, kombinatorika, matematikai logika, kriptográfia
  • Hannusch Carolin, tanársegéd
    • algebrai kódelmélet, kriptográfia
  • Dr. Herendi Tamás, adjunktus
    • álvéletlenszámgenerátorok, számelmélet, kriptográfia, párhuzamos algoritmusok, FPGA programozás
  • Dr. Horváth Géza, adjunktus
    • formális nyelvek és automaták elmélete, kriptográfia
  • Dr. Huszti Andrea, egyetemi docens
    • kriptográfiai protokollok tervezése és elemzése, e-szavazás, e-vizsgáztatás, felhő alapú számítások
  • Kádek Tamás, tanársegéd
    • logika és mesterséges intelligencia
  • Kovács Zita, tanársegéd
    • kriptográfia/anonimitás, formális nyelvek és automaták/WK transzducer
  • Dr. Mihálydeák Tamás, egyetemi docens
    • klasszikus és nem-klasszikus logika, többértékű logika, életlen halmazok elmélete, membrán számítás
  • Dr. Pethő Attila, egyetemi tanár
    • általánosított számrendszerek, diofantikus egyenletek algoritmikus és numerikus megoldása, nyílt kulcsú kriptográfiai algoritmusok
  • Dr. Várterész Magdolna, egyetemi docens
    • logika, mesterséges intelligencia

Óraadó kollégák

PhD hallgatók

  • Angyal Dávid
    • automaták, formális nyelvek, számítási bonyolultság
  • Kántor Kristóf
    • membránszámítások, formális nyelvek, automaták
  • Nagy Dávid
    • kutatási terület: életlen halmazelmélet, adatbányászat

Demonstrátorok

  • Bagossy Attila
    • témavezető: Várterész Magda
  • Nyakacska Lilla
    • témavezető: Huszti Andrea
  • Oláh Norbert
    • témavezető: Huszti Andrea
  • Szabó Marianna
    • témavezető: Várterész Magda

Frissítés dátuma: 2018.01.19.