ICE-TCS: Dexter Kozen (Cornell University)
Mentoring session for students and young researchers with Dexter Kozen
Thursday, 27 April 2017
ICE-TCS is proud to invite you to a mentoring session for students and young researchers of all ages held by Dexter Kozen (Cornell University) from 12:00 till 13:00 in room M208 at Reykjavik University. The session will be informal and will take the form of a Q&A with the audience, which will give everyone the chance to learn from an experienced and inspiring successful academic, who also happens to be a former guitarist, singer, and songwriter in the band "Harmful if Swallowed" and a keen sportsman.
Attendance is free and pizza will be served, courtesy of the School of Computer Science. However, in order to make sure that enough pizza is available, we kindly ask interested participants to register for the event by the 21st of April by registering here
Dexter Kozen has been one of the foremost theoretical computer scientists since he was a PhD student. He has received the 2016 W. Wallace McDowell Award “for groundbreaking contributions to topics ranging from computational complexity, to the analysis of algebraic computations, to logics of programs and verification” from the IEEE Computer Society and the 2016 EATCS Award of the European Association for Theoretical Computer Science. Kozen is a former Guggenheim fellow and a fellow of the Association of Computing Machinery, the American Association for the Advancement of Science and the European Association of Theoretical Computer Science. He is also a recipient of the John G. Kemeny Prize in Computing, an IBM Outstanding Innovation Award and has been named Faculty of the Year by the Association of Computer Science Undergraduates at Cornell.
