At Aarhus University, we consider Dexter to be one of our oldest and best friends and colleagues. Dexter has visited our Department of Computer Science as a guest professor twice, first in 1981–1982 and again, exactly 10 years later, in 1991–1992. Both visits were immensely successful and laid the ground for continued cooperation during the following years. Dexter made numerous shorter visits to the department, and he served with great enthusiasm and competence on the advisory board for BRICS (Basic Research in Computer Science) Research Center and international PhD-School. BRICS covered both “Track A and B” activities (Algorithmics and Semantics), and as such Dexter was the ideal adviser. Looking back, we pay tribute to Dexter for his many contributions to computer science in Aarhus over a period of more than thirty years.
Lecture Notes in Computer Science: Essays Dedicated To Dexter Kozen on the Occasion of His 60th Birthday, 2012