Általános | Önéletrajz | Publikációk | Tárgyak | 
|
Személyi adatok |
|
||||||||||||||||||
|
Vezetéknév / Utónév(ek) |
Kozma
László |
||||||||||||||||||
|
Cím(ek) |
21, Dévényi utca, H-2030, Érd, Hungary |
||||||||||||||||||
|
E-mail(ek) |
kozma@ludens.elte.hu |
||||||||||||||||||
|
|
|
||||||||||||||||||
|
Állampolgárság |
magyar |
||||||||||||||||||
|
|
|
||||||||||||||||||
|
Születési dátum |
02.10.1948 |
||||||||||||||||||
|
|
|
||||||||||||||||||
|
Neme |
férfi |
||||||||||||||||||
|
|
|
||||||||||||||||||
|
|
|
||||||||||||||||||
|
|
|
||||||||||||||||||
|
Szakmai tapasztalat |
|
||||||||||||||||||
|
|
|
||||||||||||||||||
|
Időtartam |
|
||||||||||||||||||
|
Foglalkozás / beosztás |
2012.12.01-ig
Egyetemi docens, jelenleg nyugdíjas
2012.12.01-től |
||||||||||||||||||
|
Főbb tevékenységek és feladatkörök |
Oktatás: Programozáselmélet, Programozási
nyelvek szemantikája, Temporális logikák és
alkalmazásaik
Kutatás: 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 |
||||||||||||||||||
|
A munkáltató neve és címe nyugdíjba vonulásáig |
Eötvös Loránd Tudományegyetem (ELTE),
Informatikai Kar,
Programozáselmélet és Szoftvertechnológiai
Tanszék
H-1117 Budapest, Pázmány Péter sétány 1/C. |
||||||||||||||||||
|
Tevékenység típusa, ágazat |
Oktatás |
||||||||||||||||||
|
|
|
||||||||||||||||||
|
Tanulmányok |
|
||||||||||||||||||
|
|
|
||||||||||||||||||
|
Időtartam |
1978-1981 Aspiráns, Magyar Tudományos Akadémia
1967-1972 Matematikus, József Attila
Tudományegyetem, Szeged
|
||||||||||||||||||
|
Végzettség / képesítés |
Okleveles matematikus 1972;
Matematikai tudományok kandidátusa 1982;
Egyetemi doktor 1983;
Angol középfokú nyelvvizsga |