Bioinformatics & Systems Biology
Global

Bioinformatics & Systems Biology Experts

Scott Smolka

Distinguished Professor
Department of Computer Science
Stony Brook University
United States of America

Scott Smolka

Biography

Scott A. Smolka earned his Ph.D. in Computer Science from Brown University in 1984; M.A. and B.A. in Mathematics from Boston University in 1977 and 1975, respectively. 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 [email protected], the day-long event/fundraiser celebrating the Computer Science Department’s 35th anniversary, 2006.

Research Interest

Model Checking, Semantics of Concurrency, CASE Tools for Safety-Critical Systems, Distributed Languages and Algorithms.

Global Experts from United States of America

Global Experts in Subject