Jiří Adámek

from Wikipedia, the free encyclopedia

Jiří Adámek (born October 16, 1947 in Pilsen , Czech Republic ) is a Czech mathematician , computer scientist and university professor . He is an expert in category theory and its applications in algebra , topology and computer science .

Life and research

Adámek studied mathematics at Charles University in Prague , where he received his diploma in 1971. In 1979 he received his doctorate under Věra Trnková at the Czech Technical University in Prague. The topic of his dissertation was: Categorical Theory of Automata. From 1972 to 1993 he was a university lecturer and since 1992 professor at the Czech Technical University in Prague. From 1991 to 1993 he was head of the Institute for Mathematics. In 1991 he completed his habilitation at the Karls University and in 1993 he became professor at the Institute for Theoretical Computer Science at the Technical University of Braunschweig . He has published more than two hundred research papers and nine monographs and textbooks. In 2004 he founded the journal Logical Methods in Computer Science and was editor-in-chief until 2015. He is known for his work on fixed points of functors , which are the solutions to recursive domain equations and are therefore indispensable for the semantics of programming languages ​​and the specification of abstract data structures.

Publications (selection)

  • A categorical approach to algebraic language theory, Urbat, Henning, Braunschweig, 2018
  • Proceedings / Workshop Domains II, Braunschweig, Institute for Theoretical Computer Science, 1996
  • with Horst Herrlich, George E. Strecker: Abstract and Concrete Categories: The Joy of Cats (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts), 1990, ISBN 978-0-486-46934-8
  • with Věra Trnková: Automata and Algebras in Categories in Mathematics and Their Applications 37, Kluwer, 1990

literature

  • Research magazine of the Technical University of Braunschweig, focus on computer science, 1999

Web links

personal data
SURNAME Adámek, Jiří
BRIEF DESCRIPTION Czech mathematician and university professor
DATE OF BIRTH October 16, 1947
PLACE OF BIRTH Pilsen , Czech Republic