Kozma László (matematikus)

Születési dátum:
1948.10.02
Születési hely:
Dörgicse
Végzettség, szakképesítés:
  • matematikus - JATE - 1972 (programtervező matematikus)
  • Tudományos fokozat:
    MTA kandidátusa - 1982

    1972-től 1978-ig dolgozott programtervező matematikusként az Infelorban; részt vett többek között az R10-es és az R5-ös számítógépek alapszoftverének kidolgozásában, R10-es számítógépek hálózati összekapcsolásában.

    1978 és 1981 között az MTA Központi Fizikai Kutató Intézet (KFKI), majd az ELTE aspiránsa. 1981-től 1983-ig szoftverfejlesztő a Számítástechnika Alkalmazási Vállalatnál (Számalk). 1982-ben a matematikai tudományok kandidátusa, 2003-ban az ELTE-n habilitál.

    1993-ban egyetemi docens az ELTE Természettudományi Kar (TTK) Általános Számítástudományi Tanszékén, 1996 és 2003 között tanszékvezető, 1997-től 2001-ig tanszékcsoport-vezető a TTK Informatikai Tanszékcsoportjánál. 2001 és 2003 között a TTK dékánhelyettese. 2003-tól 2012-ig az ELTE Informatikai Karának első dékánja, míg 2010 és 2012 között a Programozáselmélet és Szoftvertechnológiai Tanszék vezetője. 2012. december 1-jétől nyugdíjas.

    Oktatási területei: Programozáselmélet, programozási nyelvek szemantikája, temporális logikák és alkalmazásaik. Kutatási témái: A párhuzamos programozás verifikációs problémái, absztrakt adattípusok párhuzamos környezetben, objektum elvű programozás, komponens alapú programozás. Több mint száz publikációja jelent meg. Több folyóirat szerkesztőbizottságának és számos nemzetközi és hazai konferencia programbizottságának és szervezőbizottságának elnöke vagy tagja volt. Doktorandusz hallgatói közül heten sikeresen megvédték PhD disszertációjukat.

    Különböző szakmai szervezetek tisztségviselője vagy tagja volt, például: AITO (Association Internationale pour les Technologies Objects), MTA Informatika- és Számítástudományi Bizottsága, MAB Műszaki és Informatikai Bizottsága, doktor képviselő az MTA-ban. Tagja a Bolyai János Matematikai Társulatnak és az NJSZT-nek.

    Számos hazai és európai projekt vezetője vagy résztvevője. Szakmai, közéleti tevékenységét több kitüntetéssel ismerték el – a Magyar Köztársasági Érdemrend Lovagkeresztje kitüntetést 2009-ben kapta.

    És ami még fontos
    • Nyugdíjas éveit is aktívan tölti: a gyerekeivel és az unokáival foglalkozik, a kertjét és a szőlőjét műveli.

    Létrehozva: 2015.12.06. 11:15
    Utolsó módosítás: 2017.09.05. 20:58

    A honlap további használatához a sütik használatát el kell fogadni. További információ

    A süti beállítások ennél a honlapnál engedélyezett a legjobb felhasználói élmény érdekében. Amennyiben a beállítás változtatása nélkül kerül sor a honlap használatára, vagy az "Elfogadás" gombra történik kattintás, azzal a felhasználó elfogadja a sütik használatát.

    Bezárás