To Dexter - A Tribute from Aarhus

Research output: CommunicationBook chapter

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.
Original languageEnglish
Title of host publicationLogic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
EditorsRobert L. Constable, Alexandra Silva
Number of pages1
PublisherSpringer
Publication year2012
Pages341
Chapter341
ISBN (print)978-3-642-29484-6
ISBN (Electronic)978-3-642-29485-3
DOIs
StatePublished - 2012
SeriesLecture Notes in Computer Science
Volume7230
ISSN0302-9743

Bibliographical note

Laudios to Dexter

See relations at Aarhus University Citationformats

ID: 51983527