Szeredi Péter
Az LP és a Prolog nyelv elismert kutatója. A NIM IGÜSZI után az MProlog megvalósítások vezető fejlesztője volt az SZKI-ban, az IQSOFT-ban. Angliában párhuzamos Prolog kutatásával foglalkozott. A BME VIK és az AIT oktatója, a BME címzetes egyetemi tanára.
