Scott Smolka has been named a Fellow of the European Association for Theoretical Computer Science (EATCS)