Személyes adatok
| Születési hely: | Budapest |
| Születési idő: | 1949. május 25. |
| Munkahely: | Budapesti Műszaki és Gazdaságtudományi Egyetem (BME), |
| Villamosmérnöki és Informatikai Kar (VIK), | |
| Számítástudományi és Információelméleti Tanszék (SZIT), | |
| H-1117 Budapest, Magyar Tudósok körútja 2. | |
| Email: | szeredi@cs.bme.hu |
Tanulmányok
| 1998 | Budapesti Műszaki és Gazdaságtudományi Egyetem, PhD fokozat. |
| 1977-1978 | MTA levelező aspiránsi képzés, végbizonyítvány. |
| 1972 | Okleveles matematikus (kitüntetéses oklevél). |
| 1967-1972 | Eötvös Loránd Tudományegyetem, Budapest, matematikus szak. |
Nyelvismeret
| 1977 | Felsőfokú állami nyelvvizsga lengyel nyelvből |
| 1976 | Felsőfokú állami nyelvvizsga angol nyelvből |
Munkahelyek
| 2004- | Egyetemi docens, Budapesti Műszaki és Gazdaságtudományi Egyetem. |
| 1997-2003 | Egyetemi adjunktus, egyetemi docens (félállás), Budapesti Műszaki és Gazdaságtudományi Egyetem. |
| 1990-2003 | Tudományos főmunkatárs, osztályvezető, tudományos vezető, IQSOFT Intelligens Software Rt. ill. jogutódja, IQSYS Informatikai Rt., Budapest. |
| 1998-1999 | Research Fellow, Swedish Institute of Computer Science, Uppsala, Svédország. |
| 1988-1990 | Research Fellow, Senior Research Fellow, Department of Computer Science, University of Bristol, Anglia. |
| 1987-1988 | Research Fellow, Department of Computer Science, University of Manchester, Anglia. |
| 1979-1989 | Tudományos munkatárs, főmunkatárs, Elméleti Laboratórium, Számítástechnikai Kutató és Innovációs Központ (SZKI), Budapest. |
| 1972-1978 | Tudományos segédmunkatárs, munkatárs, NIM Ipargazdasági és Üzemszervezési Intézet (NIM IGÜSZI), Budapest. |
Szakmai érdeklődési területek
| Deklaratív és logikai programozás, korlát-programozás (constraint programming), Prolog. | |
| Párhuzamos programozás. | |
| Programozási nyelvek megvalósítása. | |
| Logikai módszerek alkalmazása, különösen a szemantikus integráció területén. |
Fontosabb K+F projektek
| 2006-2007 | FUSION: Business process fusion based on Semantically-enabled Service-oriented Business Applications EU 6. keretprogram, 027385 számú STREP projekt Tudományos tanácsadó. |
| 2005-2007 | SINTAGMA: Szemantikus Integrációs Technológia Alkalmazása Grid-alapú, Modell-vezérelt Architektúrákban. Nemzeti Kutatási és Fejlesztési Program (NKFP 2/052/2004). A BME projektrész szakmai vezetője. |
| 2003-2004 | LOBO: Logic-based management of Ontologies. IKTA kutatási projekt (IKTA-00126/2002). Projektvezető. |
| 2000-2002 | SILK: System Integration via Logic and Knowledge, EU 5. keretprogram IST Projekt (IST-1999-11135). Tudományos tanácsadó. |
| 1997-1998 | TACIT: Trial Application using Constraint programming in Industrial manufacTuring, EU 4. keretprogram, ,,Trial Applications for Software Technologies, Emerging Software Technologies'' (ESPRIT-4 Project 23365). Magyar projektvezető. |
| 1996-2003 | SICStus Prolog fejlesztés (forrásszintű nyomkövetés, fejlett programozható nyomkövetés stb.). A SICS kutatóintézet megrendelésére az IQSOFT-ban végzett munka. Projektvezető. |
| 1993-1996 | CUBIQ: Development and Application of Logic Programming Tools for Knowledge Based Systems, EU Cooperation in Science and Technology with Central and Eastern European Countries (COPERNICUS'93 Project 10979). A teljes projekt tudományos vezetője. |
| 1991-1995 | Application and Development of Parallel Logic Programming Languages, U.S.-Hungarian Science and Technology Joint Fund (JP 031/90). Magyar projektvezető. |
| 1987-1996 | Aurora: közös memóriájú multiprocesszorokon működő VAGY-párhuzamos Prolog megvalósítás. (A fejlesztő munkát a Manchesteri ill. Bristoli egyetem ill. az IQSOFT alkalmazottjaként végeztem, az Argonne National Laboratory, USA és a Swedish Institute of Computer Science kutatóintézetetekkel közös kutatócsoportban). Vezető fejlesztő a párhuzamos folyamatok ütemezése, hatékonyságvizsgálat, nyelvi kiterjesztések területeken. |
| 1978-1987 | MProlog: újszerű moduláris Prolog megvalósítás fejlesztése, amely több kontinensen is forgalmazásra került. Szakmai vezető. |
| 1975-1980 | ,,Magyar'' Prolog : úttörő Prolog megvalósítás. Tervező és vezető fejlesztő. |
| 1967-1975 | A magyar EMG 830/840 számítógépek szoftverének fejlesztése. Vezető fejlesztő. |
| 1966-1968 | TREMP: A National Elliott 803B számítógép assembly nyelvi rendszere. Tervező és fejlesztő. |
Szakmai funkciók
| Tag: | Bolyai János Matematikai Társaság (BJMT) |
| Neumann János Számítógéptudományi Társaság (NJSZT) | |
| Association of Logic Programming | |
| Szakosztály-elnök: | NJSZT Mesterséges Intelligencia Szakosztály, 2002- |
| Végrehajtó-bizottsági tag: | Association of Logic Programming (1997-2000) |
| Díjbizottsági tag: | NJSZT 1996- |
| Szerkesztőségi tanácsadó: | Journal of Logic Programming, Elsevier-North Holland (1984-2000) |
| Theory and Practice of Logic Programming, Cambridge University Press (2001-) | |
| Konferencia elnök: | Tenth International Conference on Logic Programming (ICLP), Budapest, 1993 |
| Programbizottsági társelnök: | Seventh International Conference on Logic Programming, Jerusalem, 1990 |
| Szakcsoport vezető: | Rendszerprogramozási nyelvek szakcsoport, NJSZT (1974-1978) |
| Programbizottsági tag: | számos nemzetközi konferencia és workshop: ICLP, North American Conference on Logic Programming (NACLP), European Conference on Artificial Intelligence (ECAI), Practical Applications of Prolog (PAP), Programming Language Implementation and Logic Programming (PLILP), International Conference on Software Theory and Practice (ICS2000, a 16. IFIP kongresszus részeként) stb. |
Oktatási tevékenység
| 2007- | A ,,Számításelmélet'' c. MSc szakirány felelőse. |
| 2004- | A szemantikus világháló és az ontológiakezelés alapjai (Lukácsy Gergellyel közösen), választható tárgy, Műszaki Informatikus szak, BME VIK -- Ontológiák, Leíró logikák. |
| 2001- | Válogatott fejezetek a logikai programozásból, választható tárgy, Műszaki Informatikus szak, BME VIK -- hallgatói részvétellel zajló logikai programozási szeminárium. |
| 1997- | Nagyhatékonyságú logikai programozás, választható tárgy, Műszaki Informatikus szak, BME VIK -- korlát-logikai programozás (constraint logic programming), a Mercury nyelv. |
| 1994- | Programozási Paradigmák, 2000-től Deklaratív Programozás (Hanák Péterrel közösen), kötelező tárgy, Műszaki Informatikus szak, BME VIK -- bevezetés a logikai programozásba. |
| 1978 | A CDL (Compiler Description Language) nyelv, tanfolyam, NJSZT. |
| 1975-1976 | A Prolog programozási nyelv, speciálkollégium, ELTE TTK. |
| 1971-1973 | Az Algol-68 programozási nyelv, speciálkollégium, ELTE TTK. |
| 1972 | Algol-68 tanfolyam, NJSZT. |
Szakmai díjak, eredmények
| 2007 | ,,Mestertanár'' aranyérem (OTDT) |
| 2000 | TDK munkáért emlékplakett (BME) |
| 1997 | A Logikai Programozási konferenciák állandó szervezőbizottsági tagsága. Ezt a kitüntető címet az Association of Logic Programming társaság adományozta a szakterület 14 alapító személyének. |
| 1988 | Állami Díj (megosztott) |
| 1983 | Akadémiai Díj (megosztott) |
| 1982 | Kalmár László Emlékérem (NJSZT) |
| 1978 | Farkas Gyula Díj (BJMT) |
| 1973 | Felsőoktatási Tanulmányi Érdemérem |
| 1967 | Kürschák József Matematikai Verseny, 2. díj |
| 1967 | Országos Középiskolai Tanulmányi Verseny, matematika, 3. díj |