Dr. Pásztor Endréné dr. Varga Katalin emlékére

Mély fájdalommal tudatjuk, hogy dr. Pásztor Endréné dr. Varga Katalin, az  Eötvös Loránd Tudományegyetem Informatikai Kar, a Programozási Nyelvek és Fordítóprogramok Tanszék nyugalmazott egyetemi docense, életének 94. évében elhunyt. Az ELTE Informatikai Kar valamennyi munkatársa nevében szeretettel és tisztelettel emlékezünk rá. 

Dr. Pásztor Endréné Dr. Varga Katalin 1931-2024

1931 augusztus 18-án született Kisterenye községben. Az elemi iskolát Kisterenyén, a polgári iskolát Pásztón, tanítóképzőt Jászberényben végezte és ott is érettségizett. 1953-ban Matematika - Fizika szakos tanárként végzett az ELTE-n.

1952-1969 időszakban főleg kombinatorikai majd információelméleti és valószínűség-számítási alkalmazásokkal foglalkozott.

1966-tól az MTA SZTAKI-ban bekapcsolódott az Uzsoky Miklós vezette Digitális Technika Osztály Elektronikus CAD projektjébe, ahol a tervezéssel és a teszteléssel kapcsolatos elméleti problémák tartoztak a feladatkörébe. Ez a munka megkövetelte a matematikai logikában való elmélyedést. Feladata volt a logika alkalmazási lehetőségeinek feltárása az elektronikus CAD-ban.

Munkája során több franciaországi kutatóintézettel munkakapcsolatba került: a Grenoble-i, a Montpellier-i és a Toulouse-i Egyetem kutatórészlegével és a Toulouseban lévő INRIA LAAS (Laboratoire Analyse et Automatisation des Systemes). A Boole függvények speciális kiterjesztései és a Boole derivált tulajdonságainak vizsgálata témában az Örmény Tudományos Akadémia Számítóközpontjával volt szakmai kapcsolata. A gyakorlatban programrendszerként is megvalósított eredmények révén a rigai Elektronikai Kutatóintézettel a CAD szoftver eszközök kutatásában és cseréjében működtek együtt.

Közben a logika egyéb területein is tevékenykedett: az adatbázis és tudásbázis elmélet, a logikai programozás, ahol főleg a valós feladatok megoldhatósága érdekelte.

Az ELTE Általános Számítástudományi Tanszékén ill. jogelődjén 1975 óta, nyugdíjasként 1989 óta tanított, 1982 óta docensi beosztásban.

1996 május 29-én megszerezte az ELTE-n a matematikai Dr. habil fokozatot.

1999 januárja óta a logikai programozás, automatikus tételbizonyítás tantárgyakat is oktatta.

1985-2006 között több OTKA pályázatot is elnyertek munkatársaival.

1981-1983-ig a szegedi JATE-n vendégelőadóként oktatott matematikai logikát és a mesterséges intelligenciában is használt tételbizonyító módszereket.

1994-ben a debreceni KLTE meghívta "Tételbizonyító kalkulusok" témában előadássorozat megtartására.

1999-2010 között a debreceni egyetemen vendégelőadóként oktatta a Matematikai logikát és a tételbizonyító kalkulusokat, valamint a Prolog programozási nyelvet 2007-től 2010-ig a Debreceni Egyetem informatika doktori iskolájában is tartott előadásokat logika és többértékű logika témában.

2000 óta a Kolozsvári Babes-Bolyai tudományegyetemen évi rendszerességgel tartott előadásokat aktuális logikai témákból. Hasonló előadásokat tartott 2008-2011 között Szabadkán, Újvidéken, Kassán és Komáromban is, valamint a Chambéry-i és a Toulouse-i egyetemen. Az ELTE IK Doktori Iskolájában előadóként vett részt.

Szakmai szervezeti tagság

Neumann János Számítógéptudományi Társaság - tag

Bolyai János Matematikai Társulat - tag

Szakmai közéleti tevékenység

MTA Számítástudományi Bizottsága tag 1973-óta.

MTA TMB Matematikai és Számítástudományi Bizottságának titkára 1985-2000 között.

Kitüntetések:

Munka Érdemrend ezüst fokozat. 1974

1985 Kalmár László emlékérem

ELTE IK Pro Universitate Emlékérem arany fokozata. 2005

2012 A Magyar Felsőoktatásért Emlékplakett