Szeredi Péter

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 Manchester-i, 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. 1998-ban megszerezte a BME-n a PhD fokozatot. 2010-től az Aquincumi Technológiai Intézetben (AIT) is oktat. 2014-től a BME címzetes egyetemi tanára.

Kutatási területei: deklaratív programozás, Logikai Programozás (LP), korlátok (constraints), Prolog, szemantikus technológiák (szemantikus világháló, szemantikus integráció), párhuzamos programozás, párhuzamos logikai programozás, programozási nyelvek megvalósítása.

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-től a Díjbizottság tagja volt.

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); Magyar Érdemrend Lovagkereszt polgári tagozat (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.