Scott A. Smolka is a recipient of the Fellow of the European Association of Theoretical Computer Science, since 2016; Research Excellence Award, Department of Computer Science, Stony Brook University, 2012; Best Paper Award, Second International Conference on Runtime Verification (RV’11), 2011; 2008-2009 President/Chancellor’s Award for Excellence in Scholarship and Creative Activities, 2009; Computer Science Department Certificate of Appreciation for departmental, university and community service, especially his leadership role in CS@35, the day-long event/fundraiser celebrating the Computer Science Department’s 35th anniversary, 2006.