Szeredi Péter

A BME Villamosmérnöki és Informatikai Kar Számítástudományi és Információelméleti Tanszékének docense, az NJSZT Mesterséges Intelligencia szakmai közösségének elnöke, emellett számos szakmai fórum és projekt aktív résztvevője. Pályafutása során sok jelentős hazai és nemzetközi kutatás-fejlesztési projektben is részt vett tudományos tanácsadóként, illetve projektvezetőként

Egyetemi diplomáját az Eötvös Loránd Tudományegyetem matematikus szakán szerezte 1972-ben, PhD fokozatot pedig 1998-ban kapott a Budapesti Műszaki és Gazdaságtudományi Egyetemen.

1998-99-ben a Swedish Institute of Computer Science munkatársa, majd 1990-2003. között az IQSOFT Intelligens Software Rt., ill. jogutódja, az IQSYS Informatikai Rt tudományos főmunkatársa.

Szakmai érdeklődési területei a deklaratív és logikai programozás, korlát-programozás, párhuzamos programozás, programozási nyelvek megvalósítása, illetve logikai módszerek alkalmazása, különösen a szemantikus integráció területén.