Andréka Hajnal
| Andréka Hajnal | |
| Született | 1947. november 17. (77 é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 | |
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]- Akadémiai Pályázati Díj (1974)
- Grünwald Géza-díj (1975)
- Farkas Gyula-díj (1978)
- Kalmár László-díj (1979)[5]
- Rényi-díj (1987)[6]
Jegyzetek
[szerkesztés]- ↑ VIAF-azonosító
- ↑ NUKAT
- ↑ a b PIM-névtér-azonosító. (Hozzáférés: 2020. december 5.)
- ↑ Doktori.hu
- ↑ Neumann János Számítógép-tudományi Társaság
- ↑ Rényi-díj
Források
[szerkesztés]- MTI Ki kicsoda 2009. Szerk. Hermann Péter. Budapest: Magyar Távirati Iroda. 2008. ISBN 978-963-1787-283
- https://www.renyi.hu/~andreka/hajvita.pdf
- https://www.renyi.hu/hu/kutatok/andreka-hajnal
- Hivatalos oldala
- Publikációi
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.
