17 February 2015

Visiting professor Dexter Kozen is announced as honorary member


One of DIKUs visiting professors has been recognized as an honorary fellow member of the European Association for Theoretical Computer Science (EATCS) for his outstanding contribution to theoretical computer science.

The European Association for Theoretical Computer Science (EATCS) has announced who they will name as members of their fellow class 2015.

And visiting professor at Department of Computer Science (DIKU) Dexter Kozen is one of the five members who was chosen to join the EATCS community. And he is greatful for the recognition.

You work a lot on your own, and sometimes you wonder if other people care about your work, so it is great to find out that people do care!” says Dexter Kozen.

Dexter Kozen is being recognized for his pioneering and seminal work in fields as diverse as complexity theory, logics of programs, algebra, computer algebra and probabilistic semantics.

"It's nice to know that there are some fans of my work, and that I have accomplished something that is an inspiration to others," tells Dexter Kozen.

He is a professor at Cornell University in the state of New York in the United States, and he will spend a year at DIKU, so that he can research in logic in programming language, and also work with DIKU Professor Fritz Henglein. 

In good company

Dexter Kozen and four other computer scientists have been selected as Fellows in 2015 by the EATCS Fellow Selection Committee, after reviewing nominations from the research community.

"I don't know, who nominated me. Maybe I'll find out at some point. But I feel honored to be in such good company. I know all the new honorary members because of their good work," explains Dexter Kozen.

He is already an honorary member of two American associations, the AAAS (The American Association for the Advancement of Science) and ACM (The Association for Computing Machinery), but this is the first time that an organization based in Europe recognizes his work with an honorary membership.

"I feel especially honored that it is the Europeans, who have announced me as a fellow. It is unexpected, normally one would expect that EATCS would choose a European scientist," says Dexter Kozen.


EATCS is an international organization, founded in 1972. Its purpose is to promote the exchange of ideas and results among theoretical computer scientists. But also to stimulate cooperation between the theoretical and the practical community of computer science.

The EATCS Fellows Program was established by the association in 2014 to recognize outstanding EATCS members for their scientific achievements in the field of Theoretical Computer Science. And Dexter Kozen has been a regular member of EATCS since the 1990s.