Speaker
Professor Jiri Adamek, DrSc
Since 1993 head of the Institute for Theoretical Computer Science at the Technical University of Braunschweig. His institute works primarily in the realm of categorical methods in computer science, in particular in foundations of program semantics and formal verification.
Professor Adamek is a coauthor of 10 monographs and textbooks and over 200 articles in international scientific journals. He is the founding editor of the journal "Logical Methods in Computer Science" and a member of the editorial boards of "The Journal of Pure and Applied Algebra", "Cahiers de Topology et Geometrie" and "Algebra Universalis".