(1947) magyar matematikus, logikatudós, egyetemi tanár From Wikipedia, the free encyclopedia
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).
Andréka Hajnal | |
Született | 1947. november 17. (76 éves)[1][2][3] Budapest[3] |
Állampolgársága | magyar |
Foglalkozása |
|
Iskolái | Eötvös Loránd Tudományegyetem (1966–1971) |
Kitüntetései | Rényi Alfréd-díj (1987) |
Sablon • Wikidata • Segítség |
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]
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:
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.