Personal
| Born: | May 25, 1949, Budapest, Hungary |
| Affiliation: | Department of Computer Science and Information Theory, |
| Faculty of Electrical Engineering and Informatics, | |
| Budapest University of Technology and Economics (BUTE), | |
| H-1117 Budapest, Magyar Tudósok körútja 2 | |
| Email: | szeredi@cs.bme.hu |
Education
| 1998 | PhD in Computer Science, Budapest University of Technology and Economics (BUTE). |
| 1977-1978 | Postgraduate Studies, Hungarian Academy of Science, Budapest. |
| 1967-1972 | MSc. in Mathematics, Eötvös Loránd University, Budapest (ELTE). |
Languages
| Fluent in English, Hungarian and Polish. | |
| 1977 | State Exam in Polish Language, Higher grade. |
| 1976 | State Exam in English Language, Higher grade. |
Career
| 2004- | Associate Professor (full time), Budapest University of Technology and Economics (BUTE). |
| 1997-2003 | Senior Lecturer, Associate Professor (part time), Budapest University of Technology and Economics. |
| 1998-1999 | Research Fellow, Swedish Institute of Computer Science, Uppsala (on leave from IQSOFT and BUTE). |
| 1990-2003 | Senior Research Fellow, Chief Scientist, IQSYS Information Systems Ltd. (formerly IQSOFT Intelligent Software Ltd.) |
| 1988-1990 | Research Fellow, Senior Research Fellow, Department of Computer Science, University of Bristol (on leave from SZKI and IQSOFT). |
| 1987-1988 | Research Fellow, Department of Computer Science, University of Manchester (on leave from SZKI). |
| 1979-1989 | Research Fellow, Senior Research Fellow, Theoretical Laboratory, SZKI (Computer Research and Innovation Center), Budapest. |
| 1972-1978 | Research Fellow, NIM IGÜSZI (Computer Centre of the Ministry of Heavy Industries), Budapest. |
Main research interests
| Declarative and Logic Programming, Constraint Programming, Prolog. | |
| Semantic technologies, semantic web, semantic integration. | |
| Parallelism, programming languages supporting parallelism. | |
| Implementation of programming languages. |
Some Major R&D Projects
| 2006-2008 | FUSION: Business process fusion based on Semantically-enabled Service-oriented Business Applications EU Framework 6 STREP project No. 027385 Scientific Advisor. |
| 2005-2007 | SINTAGMA: Semantic Integration Technology Applied in Grid-based, Model-driven Architectures. Hungarian National Research and Development Programme (NKFP 2/052/2004). Leader of the BUTE team. |
| 2003-2004 | LOBO: Logic-based management of Ontologies. Hungarian National IKTA Programme research project (IKTA-00126/2002). Project leader. |
| 2000-2002 | SILK: System Integration via Logic and Knowledge, EU Framework 5 project (IST-1999-11135). Scientific Advisor. |
| 1997-1998 | TACIT: Trial Application using Constraint programming in Industrial manufacTuring, EU ESPRIT-4 Trial Applications for Software Technologies, Emerging Software Technologies (ESPRIT-4 Project 23365). Hungarian Project Leader. |
| 1996-2003 | SICStus Prolog development (source linked tracing, programmable debugger, etc.). Work contracted to IQSOFT by SICS. Project Leader. |
| 1993-1996 | CUBIQ: Development and Application of Logic Programming Tools for Knowledge Based Systems, EU Programme for Cooperation with Central-Eastern European Countries (COPERNICUS'93 Project 10979). Scientific Project Coordinator of the whole project. |
| 1991-1995 | Application and Development of Parallel Logic Programming Languages, U.S.-Hungarian Science and Technology Joint Fund. Principal Investigator. |
| 1987-1996 | Aurora: development of an or-parallel Prolog implementation for shared memory multiprocessors. (Work done in Manchester, Bristol and Budapest, in cooperation with Argonne National Laboratory, USA and Swedish Institute of Computer Science. Supported by various national and international funding agencies). Developer responsible for scheduling, performance analysis, language extensions. |
| 1978-1987 | MProlog: development of a pioneering commercial Prolog implementation. Technical leader. |
| 1975-1980 | ``Hungarian'' Prolog system: development of an early Prolog implementation. Designer and main developer. |
| 1967-1975 | System software for the Hungarian EMG 830/840 computers. Leading developer. |
| 1966-1968 | TREMP: assembler for the National Elliott 803B computer. Sole developer. |
Professional Community Activities
| Member: | Association of Logic Programming |
| János Bolyai Mathematical Society (JBMS) | |
| John von Neumann Computer Society (JvNCS) | |
| Chairman: | Special Interest Group on Artificial Intelligence, JvNCS (2002-) |
| Executive Committee Member: | Association of Logic Programming (1997-2000) |
| Awards Committee Member: | John von Neumann Computer Society (1996-) |
| Editorial Advisor: | Journal of Logic Programming, Elsevier (1984-2000) |
| Theory and Practice of Logic Programming, Cambridge University Press (2001-2005) | |
| General Chairman: | 10th International Conf. on Logic Programming (ICLP), 1993 |
| Programme Co-Chairman: | 7th International Conf. on Logic Programming, 1990 |
| SIG Leader: | Special Interest Group on System Programming Languages, JvNCS (1974-1978) |
| Program Committee Member: | several international workshops and conferences: ICLP, North American Conference on Logic Programming (NACLP), European Conference on Artificial Intelligence (ECAI), Programming Language Implementation and Logic Programming (PLILP), Practical Applications of Prolog (PAP), International Conference on Software Theory and Practice (ICS2000, within the 16th IFIP World Computer Congress), etc. |
Teaching Activities
| 2007- | In charge of the MSc special field of study ``Theory of computation''. |
| 2004- | Introduction to the Semantic Web and Ontologies (with Gergely Lukácsy), elective course, BUTE -- Ontologies, Description Logics. |
| 2001- | Selected Topics from Logic Programming, elective course, BUTE -- a logic programming seminar, with student presentations. |
| 1997- | High Efficiency Logic Programming, elective course, BUTE -- constraint logic programming, the Mercury language. |
| 1994- | Programming Paradigms, from 2000 Declarative Programming (with Péter Hanák), compulsory course, BUTE -- Introduction to logic programming. |
| 1978 | The CDL (Compiler Description) language, course, JvNCS |
| 1975-1976 | The Prolog programming language, elective course, ELTE |
| 1971-1972 | The Algol-68 programming language, elective course, ELTE |
| 1972 | Algol-68 course, JvNCS |
Professional Awards
| 2007 | Gold Medal ``Master Professor'' awarded by the National Council of Students' Scientific Associations (OTDT) |
| 2000 | BUTE memorial plaquette for supporting research work of undergraduate students (TDK) |
| 1997 | Permanent membership of the Organising Committee for Logic Programming Conferences |
| 1988 | Hungarian State Award (joint award) |
| 1983 | Award of the Hungarian Academy of Sciences (joint award) |
| 1982 | Kalmár László Medal for achievements in Computer Science (JvNCS) |
| 1978 | Farkas Gyula Prize for achievements in Applied Mathematics (JBMS) |