Master of Science in Electrical engineer, Polytechnic University Kiev, 1966. Doctor of Philosophy in Cybernetics, Polytechnic University Kiev, 1969. Master of Science in Mathematics, University Kiev, 1967.
Dr.Math. Science, Hungarian Academy of Sciences, Budapest, 1988.
Researcher, Institute Cybernetics, Kiev, 1965-1967; senior researcher, Center Research Institute Physics, Budapest, 1967-1975; director section, Computing Application & Svc. Company, Budapest, since 1975; president, Applied Logic Laboratory, Budapest, since 1986. Consultant in field.
(This work presents a purely classical first-order logical...)
Member Bolyai Mathematics Society, von Neumann Society (president).
Married Lydia Kalman. Children: Fanny, Flora, Mate.