Péter Szeredi

From 1966 he was a system software developer at the Institute of Industrial Economics and Operations Management of the Ministry of Heavy Industry (NIM IGÜSZI). His main achievements: BEEL and TREMP assemblers for the Elliott 803/B computer, LORD assembler and PL/I compiler for the EMG 830/840 machines, "porting" the CDL (Compiler Definition Language) compiler to several domestic machines, and developing parts of the Algol 68 compiler.
In 1975, he was the second person in the world to create an implementation of the Prolog logic programming language (in CDL), and then participated in several Prolog-based research and development projects.

From 1979, as a member of the Theoretical Laboratory of the Computer Science Coordination Institute (SZKI), he was the professional leader of the development of the MProlog system, which was one of the world's first industrial-quality Prolog implementations.
Between 1987 and 1990, he worked as a researcher at the University of Manchester and then at the University of Bristol on the development of parallel, multiprocessor Prolog implementations. From 1990, he continued his work at IQSOFT, working on Prolog-based development and research projects.

Since 1995, he has developed and taught courses on declarative programming, constraint programming, and semantic web at the Faculty of Electrical Engineering and Informatics (VIK) of the Budapest University of Technology (BME). He obtained his PhD degree from BME in 1998. Since 2010, he has also taught at the Aquincum Institute of Technology (AIT). Since 2014, he has been an honorary professor at BME.

Research areas: declarative programming, Logic Programming (LP), constraints, Prolog, semantic technologies (semantic web, semantic integration), parallel programming, parallel logic programming, implementation of programming languages.

Member of the Hungarian Academy of Sciences; between 1974-1978 he was the head of the Systems Programming Group, and between 2002-2012 he was the chairman of the Artificial Intelligence Department. From 1996 he was a member of the Awards Committee.

His awards: Gyula Farkas Memorial Prize (Bolyai János Mathematical Society, BJMT, 1977), László Kalmár Memorial Medal (NJSZT, 1982), Academic Prize (shared, 1983), State Prize (shared, 1988), Master Teacher Gold Medal (National Council of Scientific Students' Circles, 2007). Neumann Prize (NJSZT, 2008); Hungarian Order of Merit, Knight's Cross, Civil Division (2017).
In 1997, the Association for Logic Programming selected him as one of the 15 founders of the field of logic programming.