Kozma László (1948)

1972-től 1978-ig dolgozott programtervező matematikusként az INFELOR Rendszertechnikai Vállalatnál; részt vett többek között az R10 és az R5 számítógépek alapszoftverének kidolgozásában, valamint az 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 volt, majd 1981-től 1983-ig szoftverfejlesztő a Számítástechnika Alkalmazási Vállalatnál (Számalk). 1982-ben megszerezte a matematikai tudományok kandidátusa fokozatot.

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 volt. 2003-ban az ELTE-n habilitált.
2003-tól 2012-ig az ELTE Informatikai Karának (IK) első dékánja, míg 2010 és 2012 között a Programozáselmélet és Szoftvertechnológiai Tanszék vezetője. 2012 végé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, objektumelvű 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 volt tisztségviselője vagy tagja: AITO (Association Internationale pour les Technologies Objects), MTA Informatika- és Számítástudományi Bizottsága, Magyar Felsőoktatási Akkreditációs Bizottság (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.

Kitüntetései: Neumann-díj (NJSZT, 2002); Pro Universitate emlékérem (ELTE, 2003); Gábor Dénes emlékérem (Gábor Dénes Főiskola, 2003); a Magyar Köztársasági Érdemrend Lovagkeresztje, 2009); Eötvös Collegiumért emlékérem (Eötvös József Kollégium, 2011); az Egyetem emlékérme (ELTE, 2012); Pro Facultate Informatica emlékérem (ELTE IK, 2013).