Az MTA köztestületének tagjai

a matematikai tudomány kandidátusa 1973

Szakterület Matematikai logika
Matematikai Tudományok Osztálya

Kutatási téma

• A logika és a temporális logika a számítástudományban
• Tabló módszer alkalmazási lehetőségei a tételbizonyításban
• Temporális logikai eszközök kutatása és alkalmazása párhuzamos és pipeline rendszerekben

Publikációk Pásztor Endréné publikációs listája

Szervezeti tagságok

• Informatika- és Számítástudományi Bizottság