László Kozma (1948)

From 1972 to 1978, he worked as a program design mathematician at the INFELOR Systems Engineering Company; he participated, among other things, in the development of the basic software for the R10 and R5 computers, as well as in the networking of the R10 computers.

Between 1978 and 1981, he was a postgraduate student at the Central Institute of Physics of the Hungarian Academy of Sciences (KFKI), then at ELTE, and then from 1981 to 1983, he was a software developer at the Computer Applications Company (Számalk). In 1982, he obtained the degree of Candidate of Mathematical Sciences.

In 1993, he became an associate professor at the Department of General Computer Science of the Faculty of Natural Sciences (TTK) of ELTE; between 1996 and 2003, he was the head of the department, and from 1997 to 2001, he was the head of the department group at the Department of Informatics of TTK. Between 2001 and 2003, he was the deputy dean of TTK. In 2003, he habilitated at ELTE.
From 2003 to 2012, he was the first dean of the Faculty of Informatics (IK) of ELTE, and between 2010 and 2012, he was the head of the Department of Programming Theory and Software Technology. He retired at the end of 2012.

Teaching areas: Programming theory, semantics of programming languages, temporal logics and their applications. Research topics: Verification problems of parallel programming, abstract data types in parallel environments, object-oriented programming, component-based programming.

He has published more than a hundred papers. He has been the chairman or member of the editorial board of several journals and the program and organizing committees of numerous international and domestic conferences. Seven of his doctoral students have successfully defended their PhD dissertations.

He is a former official or member of various professional organizations: AITO (Association Internationale pour les Technologies Objects), MTA Informatics and Computer Science Committee, Hungarian Higher Education Accreditation Committee (MAB) Technical and Informatics Committee, doctoral representative at the MTA. Member of the Bolyai János Mathematical Society and the NJSZT.
He is the leader or participant of numerous domestic and European projects.

His awards: Neumann Prize (NJSZT, 2002); Pro Universitate Memorial Medal (ELTE, 2003); Gábor Dénes Memorial Medal (Gábor Dénes College, 2003); Knight's Cross of the Order of Merit of the Republic of Hungary, 2009); Eötvös Collegium Memorial Medal (Eötvös József Collegium, 2011); University Memorial Medal (ELTE, 2012); Pro Facultate Informatica Memorial Medal (ELTE IK, 2013).