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

    1972-től a Nehézipari Minisztérium Ipargazdasági és Üzemszervezési Intézete (NIM IGÜSZI) rendszerszoftver-fejlesztő munkatársa (egyetemi évei alatt is dolgozik már itt). 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íti 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 vesz.

    1979-től a Számítástechnikai Koordinációs Intézet (SZKI) Elméleti Laboratóriumának munkatársa; szakmai vezetője 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 dolgozik. 1990-től 2003-ig munkáját az IQSOFT cégnél folytatja osztályvezetőként, Prolog alapú fejlesztési, ill. kutatási projektek keretében.

    1995-től a BME Villamosmérnöki és Informatikai Karán (VIK) deklaratív programozás, korlátprogramozás, ill. szemantikus világháló témájú tárgyakat dolgoz ki és oktat – 1997-2003 között félállásban, 2004-től egyetemi docensként főállásban. 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, 1996 óta a NJSZT Díjbizottság tagja, 2002 és 2012 között a Mesterséges Intelligencia Szakosztály elnöke.

    Kitüntetései: Farkas Gyula Emlékdíj (Bolyai János Matematikai Társulat, 1977); Kalmár László Emlékérem (NJSZT, 1982); Akadémiai Díj (1983, megosztott); Állami Díj (1988, megosztott); Mestertanár aranyérem (Országos Tudományos Diákköri Tanács, 2007); Neumann-díj (NJSZT, 2008); a Magyar Érdemrend lovagkeresztje polgári tagozata kitüntetés (2017). – 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.

    Létrehozva: 2017.01.31. 21:12
    Utolsó módosítás: 2017.05.18. 13:06