Katalin Varga Pásztor

After graduating from university, he worked at the Ministry of the Interior (BM) until 1966, and then at the Hungarian Academy of Sciences' Computer Science and Automation Research Institute (SZTAKI) between 1967 and 1988. In the meantime, he also taught at ELTE: as a lecturer from 1972 to 1975, as a part-time assistant professor from 1975 to 1982, and as an associate professor with a part-time job from 1982 to 2013.

From 1952 to 1969, he worked mainly on applications of combinatorics, information theory, and probability theory. From 1955 to 1966, he programmed various tasks on the M-3 and BULL Gamma computers.

In 1966, he joined the Digital Technology Department led by Miklós Uzsoky at SZTAKI. At that time, he worked on reliability theory and Markov processes, and then participated in the Department's Electronic CAD (computer-aided circuit design, manufacturing and testing) project. His task was to minimize two-valued (Boolean) functions. He wrote his PhD dissertation on this topic under László Kalmár, which he defended in 1973. Since 1969, he has been working on mathematical logic and its applications.

Later, he participated in the testing of MProlog system instances developed at the Coordinating Institute for Computer Science (SZKI) (with applications for minimizing Boolean functions). Between 1969 and 1980, he took part in the joint research work on CAD between SZTAKI and the Toulouse Laboratoire d'analyse et d'architecture des systèmes (LAAS).

In 1972, he participated in the development of the curriculum for the Programming Mathematician course at ELTE. He taught mathematical logic at ELTE and at the Kossuth Lajos University of Science and Technology (KLTE) in Debrecen. He wrote two university logic notes for program design mathematicians (in 1982 and 1992). In 2003, he published a book on logic (also suitable as a handbook) with Magda Várterész, which also summarizes the international state of the art at the time. He habilitated at ELTE in 1996.

Since its establishment, he has been the supervisor and lecturer of the Doctoral School of the Faculty of Informatics (IK) of ELTE. From 1973 to 2002, he was a member of the Computer Science Committee of the Hungarian Academy of Sciences. Between 1985 and 1999, he was the secretary of the Mathematics and Computer Science Committee of the Hungarian Academy of Sciences. From 1998 to 2010, he was a guest lecturer at the Faculty of Informatics of the University of Debrecen (DE), and between 2000 and 2012, he was a Hungarian lecturer at the Babes-Bolyai University in Cluj-Napoca. From 1996 to 2012, he gave lectures on logic every year at the Universities of Chambéry, Toulouse, Subotica, Novi Sad, Komárom and Szeged.

His awards include: Kalmár Prize (NJSZT, 1985), Pro Universitatae (ELTE, 1996), and the Memorial Plaque for Hungarian Higher Education (MTA, 2012).