Dexter Kozen wordt fellow EATCS
- 12 mrt., 2015
- Onderwijs & Training
- Bron: Radboud Universiteit
Computerwetenschapper Dexter Kozen, die tot begin dit jaar in het kader van het Radboud Excellence Initiative aan de Radboud Universiteit werkte, wordt door de European Association for Theoretical Computer Science (EATCS) benoemd tot fellow.
De benoeming is een erkenning van uitmuntende bijdragen van Kozen aan de theoretische computerwetenschap.
Het EATCS kent meer dan 1000 leden, waarvan slechts een enkeling fellow kan worden. Dexter Kozen valt deze weer te beurt vanwege zijn inspirerende pionierswerk op uiteenlopende terreinen als complexiteitstheorie, logica van programma’s, algebra, computeralgebra en probabilistische semantiek.
Professor Kozen is een van de eerste theoretische computerwetenschappers die EATCS fellow wordt.
Netwerk versterken
Dexter Kozen is verder lid van de Amerikaanse organisaties AAAS (The American Association for the Advancement of Science) en ACM (The Association for Computing Machinery). Met het EATCS fellowship maakt hij nu ook deel uit van een van de belangrijkste Europese organisaties voor het stimuleren en uitwisselen van ideeën en resultaten van theoretische computerwetenschappers.
Het Radboud Excellence Initiative heeft als doel om internationaal onderzoekstalent naar Nijmegen te halen en op die manier ook de banden tussen de Radboud Universiteit, het Radboudumc en andere universiteiten en onderzoeksinstituten te versterken.
Meer informatie over Radboud Universiteit Nijmegen:
Bekijk het complete profiel
Volg RegioinBedrijf op Linkedin
Volg RegioinBedrijf op LinkedIn en blijf op de hoogte van regionale ontwikkelingen!
