Main | Curriculum Vitae | Publications | Lectures | Membership |magyar zászló Magyarul

 

Curriculum Vitae

 

Born:

October 2, 1948, Dörgicse, Hungary

Education:

M. Sc. in applied mathematics 1972, József Attila University, Szeged;

 

Ph. D. in mathematics 1982; habilitate 2003.

 

Employment:

 

2003-

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

2001-2003

Deputy dean of Eötvös Loránd University Faculty of Science

1997-2001

Director of Institute of Informatics

1996-2003

Head of the Department of General Computer Science

1993-

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

 

Education profile:

Theory of programming, Semantics of programming languages

Research profile:

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