Andréka Hajnal

Andréka Hajnal
Született1947. november 17. (77 é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)
Sablon • Wikidata • Segí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]
  1. ↑ VIAF-azonosító
  2. ↑ NUKAT
  3. ↑ a b PIM-névtérazonosító. (Hozzáférés: 2020. december 5.)
  4. ↑ Doktori.hu
  5. ↑ Neumann János Számítógép-tudományi Társaság
  6. ↑ Rényi-díj

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.