Curriculum Vitae

Personal information

Surname(s) / First name(s)

Kozma, László

Address(es)

21, Dévényi street, H-2030, Érd, Hungary

Telephone(s)

Mobile

Fax(es)

E-mail

kozma@ludens.elte.hu

Nationality

Hungarian

Date of birth

02.10.1948

Gender

Male

Work experience

Dates

2003- 2012          Dean of Eötvös Loránd University Faculty of Informatics

2001-2003           Deputy dean of Eötvös Loránd University Faculty of Natural Science

1997-2001           Director of Institute of Informatics

1996-2003           Head of the Department of General Computer Science

1993-2012           Associate Professor

1983-1993           Research fellow, Eötvös Loránd University, Department of General Computer  

                                Science

1978-1981           Postgraduate student, Central Research Institute for Physics, Hungarian                                      Academy of Sciences

1972-1978           Research fellow, INFELOR Systemtechnical Corp., Budapest

Occupation or position held

Assoc. prof.

Education and research profile:

Education:Theory of programming, Semantics of programming languages, Temporal logic of programs

Research: Concurrent programming, Object-oriented programming, Specifying methods of abstract data types, Temporal logic of programs, Component-oriented programming. 

Name and address of employer

From 1983 to 2012

Eötvös Loránd University (ELTE), Faculty of Informatics, Department of Software Technology and Methodology

 H-1117 Budapest, Pázmány Péter sétány 1/C.

Now I am a pensioner

Type of business or sector

Education

Participation in research projects

Education and Degrees

Dates

1972

1982

2003

Title of qualification awarded

M. Sc. in mathematics 1972,

Ph. D. in mathematics 1982,

habilitate 2003.

Name and type of organisation providing education and training

József Attila University, Szeged

Eötvös Loránd University, Budapest

Mother tongue(s)

Hungarian

Other language(s)

English

Self-assessment

Understanding

Speaking

Writing

European level (*)

Listening

Reading

Spoken interaction

Spoken production

Language

English

English

English

English

English

Language

C1

C1

B2

B2

B2

(*) Common European Framework of Reference for Languages

Organization of conferences,

Programme Committee of conferences

Co-chairs of organizing committees:

Symposium on Programming Languages and Software Tools - 1995

ECOOP 2001, Budapest, Hungary

Chair of program committee:

5th National Object-Oriented Conference, 2002, Dobogókő, Hungary

Member of program committees:

Symposium on Programming Languages and Software Tools - 1995-2007.

International Conference on Applied Informatics - 1997, 1999, 2001, 2004, 2007, 2010.

Illyefalvi Konferencia - 1997, 1999.

CSCS Szeged - 2000, 2002, 2004, 2006, 008, 2010.

Conference on Informatics in Higher Education - 1999, 2002, 2005

Time 2006 – International Symposium on Temporal Representation and Reasoning – 2006

CEE-SET’07 – Central and East-European Conference on Software Engineering Techniques – 2007-2009.

Reviewing and Editorial Board of Periodicals

Editorial board of Annales Universitatis Scientiarum Budapetinensis, Sectio Computatorica – 2004-

Honours, Awards, membership of Professional Societies

Member of

- Electrical Engineering and Informatics Committee of the Hungarian Accreditation Committee - 2001- 

2003, 2007-2009.

- AITO (Association Internationale pour les Technologies Objects) - 2002-2014

- Institute Council of Informatics, Faculty of Science, Eötvös Loránd University 1993-2001

- Faculty Council, Faculty of Science, Eötvös Loránd University, 1997-2003

- Dean's Council, Faculty of Science, Eötvös Loránd University, 1997-2003

- Computer Science and Informatics Commitee of the Hungarian Academy of Sciences - 1996- 2013

- Representative of Doctors, Hungarian Academy of Sciences,1999-2001, 2001- 2003

- University Council, Eötvös Loránd University, 2003- 2012

- Faculty Council, Faculty of Informatics, Eötvös Loránd University, 2003-1 2012

Annexes