Pásztorné Varga Katalin

Az egyetem elvégzése után 1966-ig a Belügyminisztériumban (BM), majd 1967-1988 között az MTA Számítástechnikai és Automatizálási Kutatóintézetben (SZTAKI) dolgozott. Közben az ELTE-n is oktatott: 1972-1975-ig óraadóként, 1975-1982-ig félállásban adjunktusként, 1982-2013-ig mellékfoglalkozású docensként.

1952-1969-ig főleg kombinatorikai, információelméleti és valószínűségelméleti alkalmazásokkal foglalkozott. 1955-től 1966-ig az M-3 és a BULL Gamma számítógépen programozott be különböző feladatokat.

1966-ban a SZTAKI-ban az Uzsoky Miklós által vezetett Digitális Technika Osztály munkájába kapcsolódott be. Ekkor megbízhatóságelmélettel és Markov folyamatokkal foglalkozott, majd részt vett az Osztály Elektronikus CAD (számítógéppel segített áramkörtervezés gyártás és tesztelés) projektjében. Feladata a kétértékű (Boole) függvények minimalizálása volt. Erről írta meg Kalmár Lászlónál kandidátusi disszertációját, melyet 1973-ban védett meg. 1969 óta foglalkozik matematikai logikával és alkalmazásaival.

Később részt vett a Számítástechnikai Koordinációs Intézetben (SZKI) fejlesztett MProlog rendszer-példányok tesztelésében (Boole függvények minimalizálálását végző alkalmazásokkal). 1969-1980 között kivette részét a SZTAKI és a Toulousi Laboratoire d’analyse et d’architecture des systèmes (LAAS) CAD-témában közös kutatómunkájában.

1972-ben részt vett az ELTE-n a Programozó matematikus szak tananyagának kidolgozásában. Matematikai logikát oktatott az ELTE-n és Debrecenben a Kossuth Lajos Tudományegyetemen (KLTE). Két egyetemi logikajegyzetet írt a programtervező matematikusok számára (1982-ben és 1992-ben). 2003-ban megjelent a Várterész Magdával közös (kézikönyvnek is alkalmas) logika könyv, ami az akkori nemzetközi állapotot is összegzi. 1996-ban habilitált az ELTE-n.

A megalakulásától kezdve az ELTE Informatika Kar (IK) Doktori Iskola témavezetője és előadója volt. 1973-tól 2002-ig Az MTA Számítástudományi Bizottsága tagja. 1985-1999 között az MTA TMB Matematikai és Számítástudományi Bizottságának titkára. 1998-2010 meghívott oktató a Debreceni Egyetem (DE) Informatikai Karán, valamint 2000-2012 között a kolozsvári Babes-Bolyai Egyetem magyar évfolyamán. 1996-2012 között minden évben előadásokat tartott logika témában a Chambéry-i, Toulouse-i, Szabadkai, Újvidéki, Komáromi és a Szegedi Tudományegyetemen.

Kitüntetései: Kalmár-díj (NJSZT, 1985), Pro Universitatae (ELTE, 1996), a Magyar Felsőoktatásért Emlékplakett (MTA, 2012).