Background
Németi, István was born on August 17, 1942 in Budapest, Hungary. Son of Ferenc and Edith (Fajth) Németi.
Németi, István was born on August 17, 1942 in Budapest, Hungary. Son of Ferenc and Edith (Fajth) Németi.
Master of Arts in Electrical Engineering, Technical University Budapest, 1966. Doctor of Philosophy in Mathematics, Eotvos Lorand University, Budapest, 1977. Doctor of Science in Mathematics, Academy of Sciences, Hungary, 1987.
Instructor theoretical electrodynamics Technology University Budapest, 1962—1965. Assistant Institute Designing Electric Power Systems Ministry Heavy Industries, Budapest, 1966—1969. Research assistant Institute Computer Science Ministry Heavy Industries, 1970—1974.
Scientific advisor Institute Applied Computer Science, 1975—1976. Chief science advisor Alfréd Rényi Institute of Mathematics Hungarian Academy of Sciences, since 1977. Adjunct professor, department mathematics Central European University, Budapest.
Edition board member Journal Symbolic Computation, 1984—1990, Journal Applied Nonclassical Logic, 1989—1998, Studia Logica, 1990—2004, Journal Applied Logic, since 2002, Logica Universalis, since 2005. Advisory edition board member Advanced Studied Mathematics and Logic Book Series, since 2004. Visiting professor University California, 1991, University Amsterdam, 1998.
Member of János Bolyai Mathematics Society.
Married Anna Simay, July 11, 1970 (divorced 1975). Children: Péter Simay, Csilla Simay. Married Hajnal Andréka, November 25, 1975.