Andréka Hajnal

A Wikipédiából, a szabad enciklopédiából
Andréka Hajnal
Született1947. november 17. (76 éves)[1][2][3]
Budapest[3]
Állampolgárságamagyar
Foglalkozása
IskoláiEötvös Loránd Tudományegyetem (1966–1971)
KitüntetéseiRényi Alfréd-díj (1987)

SablonWikidataSegítség

Andréka Hajnal (más néven: Andréka Hajnalka) (Budapest, 1947. november 17. – ) magyar matematikus, logikatudós, egyetemi tanár. A matematikai tudományok kandidátusa (1978), a matematikai tudományok doktora (1992).

Életpályája[szerkesztés]

1966–1971 között az ELTE TTK matematika szakán tanult. 1971–1977 között a Nehézipari Minisztérium Számítógépközpontjának munkatársa volt. 1977-től a Magyar Tudományos Akadémia Rényi Alfréd Matematikai Kutatóintézetének munkatársa, tanácsadója, az algebrai logikai osztály vezetője. 1978-ban Ph.D fokozatot szerzett.[4]

Munkássága[szerkesztés]

Részt vett az első tételbizonyító program (1972) és az első magyar programhelyesség-ellenőrző program (1973), a Magyar Prolog, a magyar programozás-logikai, illetve logikai programozási iskola létrehozásában. Többször volt vendégprofesszor az észak-amerikai egyetemeken. Nemzetközi folyóiratokban több mint 60 publikációja jelent meg.

Kutatási területe:

  • a számítástudomány és a logika matematikai alapjai
  • algebrai logika
  • az univerzális algebrai és kategória-elméleti közelítések a logikához
  • jelentéstan
  • szemantika
  • absztrakt modellelmélet
  • nemklaszikus és filozófiai logika

Családja[szerkesztés]

Szülei: Andréka Pál és Molnár Réka. 1975-ben házasságot kötött Németi István (1942-) matematikussal.

Díjai[szerkesztés]

Jegyzetek[szerkesztés]

Források[szerkesztés]

További információk[szerkesztés]

  • Műszaki és természettudományi ki kicsoda A-Z. Főszerkesztő: Hetényi Pálné. Budapest, Országos Műszaki Információs Központ és Könyvtár, 1995.
  • Révai új lexikona I. (A–Baj). Főszerk. Kollega Tarsoly István. Szekszárd: Babits. 1996. ISBN 963-901-595-4  
  • Természettudományos és műszaki ki kicsoda? Szerkesztette: Szluka Emil, Schneider László. Budapest, Országos Műszaki Információs Központ és Könyvtár, 1986.