Szeredi Péter

Születési dátum:
1949.05.25.
Születési hely:
Budapest
Végzettség, szakképesítés:
  • matematikus - ELTE - 1972.
  • Tudományos fokozat:
    PhD - 1998 - BME Villamosmérnöki és Informatikai Kar

    1966-tól a Nehézipari Minisztérium Ipargazdasági és Üzemszervezési Intézete (NIM IGÜSZI) rendszerszoftver-fejlesztő munkatársa volt. Főbb eredményei: BEEL és TREMP assemblerek az Elliott 803/B számítógépre, LORD assembler és PL/I fordítóprogram az EMG 830/840 gépekre, CDL (Compiler Definition Language) fordítóprogram hordozása számos hazai gépre, Algol 68 fordítóprogram egyes részeinek kidolgozása.
    1975-ben, a világon másodikként, elkészítette a Prolog logikai programozási nyelv megvalósítását (CDL nyelven), majd több Prolog-alapú kutatás-fejlesztési projektben is részt vett.

    1979-től a Számítástechnikai Koordinációs Intézet (SZKI) Elméleti Laboratóriumának munkatársaként szakmai vezetője volt az MProlog rendszer fejlesztésének, amely a világ első ipari minőségű Prolog megvalósításai közé tartozott.
    1987 és 1990 között a Manchesteri majd a Bristoli Egyetem kutatójaként a párhuzamos végrehajtású, többprocesszoros Prolog megvalósítások fejlesztésén dolgozott. 1990-től munkáját az IQSOFT cégnél folytatta, Prolog alapú fejlesztési, illetve kutatási projektek keretében.

    1995-től a Budapesti Műszaki Egyetem (BME) Villamosmérnöki és Informatikai Karán (VIK) deklaratív programozás, korlátprogramozás, illetve. szemantikus világháló témájú tárgyakat dolgozott ki és oktatja azokat. 2010-től az Aquincumi Technológiai Intézetben (AIT) is oktat. 2014-től a BME címzetes egyetemi tanára.

    Az NJSZT tagja, 1974-1978 között a Rendszerprogramozási Szakcsoport vezetője, 2002-2012 között a Mesterséges Intelligencia Szakosztály elnöke volt. 1996 óta a Díjbizottság tagja.

    Kitüntetései: Farkas Gyula Emlékdíj (Bolyai János Matematikai Társulat, BJMT, 1977), Kalmár László Emlékérem (NJSZT, 1982), Akadémiai Díj (megosztott, 1983), Állami Díj (megosztott, 1988), Mestertanár aranyérem (Országos Tudományos Diákköri Tanács, 2007). Neumann-díj (NJSZT, 2008).
    1997-ben az Association for Logic Programming társaság a logikai programozás szakterületének 15 alapítója közé választotta.

    És ami még fontos
    • Család: 3 fiúgyermek és 7 unoka. (2020-as közlés.)

    Létrehozva: 2017.01.31. 21:12
    Utolsó módosítás: 2020.11.01. 11:42