Stony Brook Experts

an online search tool for members of the media to identify experts at Stony Brook

Search experts:

or

Browse experts:

View all departments View all topics View all experts Close
Scott A. Smolka Professor Computer Science College of Arts and Sciences

Contact Information

249 New Computer Science Bldg

Stony Brook, 11794

631/632-8453

Biography

Scott Smolka has made fundamental contributions in the areas of probabilistic process algebra, computational model checking, and cardiac-cell modeling and analysis. He currently leads the “CyberCardia” project, a virtual-heart platform to improve and accelerate medical-device development and testing at a far lower cost than existing methods. CyberCardia also can be used to design optimal, patient-specific device therapies, thereby lowering the risk to the patient.

Education

  • PhD, Brown University
  • AM and AB, Boston University

Research Grants

Award Start End Sponsor Type Amount Status
AN INTEGRATED ENVIRONMENT FOR CONTROL SOFTWARE ENGINEERING 2000-11-21T00:00:00 2004-11-20T00:00:00 US Army Research Office Federal 365000 Closed
LMC: A SYSTEM FOR THE SPECIFICATION AND EVALUATION OF LOGIC-BASED MODEL CHECKING 1997-08-15T00:00:00 2003-07-31T00:00:00 National Science Foundation Federal 1223697 Closed
Survivable Software 2009-06-01T00:00:00 2012-11-30T00:00:00 US Air Force Office of Scientific Research Federal 687692 Closed
STTR: A Framework for Modeling and Analyzing Complex Distributed Systems 2005-09-01T00:00:00 2009-08-31T00:00:00 VeroModo Incorporated Nonfederal 199516.24 Closed
NYODN: Donate Life Walk 2010 & Organ Donation Awareness Club 2010-02-01T00:00:00 2011-09-01T00:00:00 LiveOnNY Nonfederal 1650 Closed
Donate Life Walk, 3rd Annual 2008-02-11T00:00:00 2008-04-30T00:00:00 LiveOnNY Nonfederal 2500 Closed
ARRA: Collaborative Research: Next-Generation Model Checking and Abstract Interpretation with a Focus on Embedded Control and Systems Biology 2009-09-01T00:00:00 2015-08-31T00:00:00 National Science Foundation Federal 1858340 Closed
Funds for Richard DeFrancisco: GPGPU Parallel SPIN Model Checker 2012-08-01T00:00:00 2016-07-31T00:00:00 NASA Goddard Space Flight Center Federal 258467 Closed
Software Producibility Initiative, SWPI 2013-05-20T00:00:00 2018-05-19T00:00:00 Rockwell Collins Incorporated Nonfederal 100000 Approved
2014 CPS Medical Devices Workshop Travel Support 2014-03-15T00:00:00 2017-02-28T00:00:00 National Science Foundation Federal 49900 On Hold
Adaptive Runtime Verification and Recovery for Mission-Critical Software 2014-09-01T00:00:00 2017-08-31T00:00:00 US Air Force Office of Scientific Research Federal 502044 Approved
Closed-Loop Formal Verification of ICDs Using Cardiac Electrophysiological Models - Post Doc A Murthy 2014-12-01T00:00:00 2018-08-31T00:00:00 National Science Foundation Federal 162122 Approved
CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems 2015-05-01T00:00:00 2017-10-31T00:00:00 National Science Foundation Federal 665024 Approved

Publications

  1. Author Article Green Computing Conference and Workshops (IGCC), 2011 International Model discovery for energy-aware computing systems: An experimental evaluation 2011 1 - 6
  2. Author Article Lecture Notes in Computer Science Model Repair for Probabilistic Systems 2011 6605 326 - 340
  3. Author Article Logical Methods in Computer Science A calculus for costed computations 2011 7 1
  4. Author Article Software Engineering Workshop (SEW), 2011 34th IEEE A Change of Perspective Yields Formal Analysis 2011 69 - 76
  5. Author Article High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking 2011 360 - 367
  6. Author Article Lecture Notes in Computer Science From Cardiac Cells to Genetic Regulatory Networks 2011 6806 396 - 411
  7. Author Article AJP: Advances in Physiology Education Teaching cardiac electrophysiology modeling to undergraduate students: laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics 2011 35 4 427 - 437
  8. Author Article Science of Computer Programming A process calculus for Mobile Ad Hoc Networks? 2010 75 6 440 - 469
  9. Author Article Lecture Notes in Computer Science Aspect-Oriented Instrumentation with GCC 2010 6418 405 - 420
  10. Author Article Lecture Notes in Computer Science Dynamic Path Reduction for Software Model Checking 2009 5423 322 - 336
  11. Author Article Communications of the ACM Learning and detecting emergent behavior in networks of cardiac myocytes 2009 52 3 97
  12. Author Article Lecture Notes in Computer Science Query-Based Model Checking of Ad Hoc Network Protocols 2009 5710 603 - 619
  13. Author Article Logical Methods in Computer Science Explicit fairness in testing semantics 2009 5 2
  14. Author Article IET Systems Biology Modelling excitable cells using cycle-linear hybrid automata 2008 2 1 24
  15. Author Article Lecture Notes in Computer Science An Instrumentation-Based Approach to Controller Model Validation 2008 4922 84 - 97
  16. Author Article BMC Bioinformatics CellExcite: an efficient simulation environment for excitable cells 2008 9 0
  17. Author Article Lecture Notes in Computer Science A Process Calculus for Mobile Ad Hoc Networks 2008 5052 296 - 314
  18. Author Article Lecture Notes in Computer Science Formal Analysis of Abnormal Excitation in Cardiac Tissue 2008 5307 141 - 155
  19. Author Article Lecture Notes in Computer Science StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes 2008 5065 493 - 502
  20. Author Article Lecture Notes in Computer Science Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes 2008 4981 229 - 243
  21. Author Article Electronic Notes in Theoretical Computer Science Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue 2008 194 3 51 - 67
  22. Author Book 2007 9
  23. Author Article Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International Model Predictive Control for Memory Profiling 2007 1 - 7
  24. Author Article Lecture Notes in Computer Science Deep Random Search for Efficient Model Checking of Timed Automata 2007 4888 111 - 124
  25. Author Article ACM Transactions on Software Engineering and Methodology Model checking the Java metalocking algorithm 2007 16 3 12
  26. Author Article Lecture Notes in Computer Science Learning Cycle-Linear Hybrid Automata for Excitable Cells 2007 4416 245 - 258
  27. Author Book 2006 9
  28. Author Article Electronic Notes in Theoretical Computer Science Open-Source Model Checking 2006 144 3 27 - 44
  29. Author Article Engineering in Medicine and Biology Society, 2006. EMBS 28th Annual International Conference of the IEEE A Cycle-Linear Approach to Modeling Action Potentials 2006 3931 - 3934
  30. Author Article Engineering in Medicine and Biology Society, 2006. EMBS 28th Annual International Conference of the IEEE Efficient Event-Driven Simulation of Excitable Hybrid Automata 2006 3150 - 3153
  31. Author Article Electronic Notes in Theoretical Computer Science Preface 2006 149 1 1 - 2
  32. Author Article Electronic Notes in Theoretical Computer Science Runtime Verification for High-Confidence Systems: A Monte Carlo Approach 2006 164 4 41 - 52
  33. Author Article Lecture Notes in Computer Science Probabilistic I/O Automata: Theories of Two Equivalences 2006 4137 343 - 357
  34. Author Article Electronic Notes in Theoretical Computer Science Monte Carlo Methods for Process Algebra 2006 162 203 - 207
  35. Author Article Systems, Applications and Technology Conference, 2006. LISAT 2006. IEEE Long Island MODELNG THE AODV ROUTING PROTOCOL IN THE ω-CALCULUS 2006 1 - 5
  36. Author Article Engineering in Medicine and Biology Society, 2006. EMBS 28th Annual International Conference of the IEEE Hybrid Automata as a Unifying Framework for Modeling Excitable Cells 2006 4151 - 4154
  37. Author Article Lecture Notes in Computer Science Monte Carlo Model Checking 2005 3440 271 - 286
  38. Author Article Lecture Notes in Computer Science A Provably Correct Compiler for Efficient Model Checking of Mobile Processes 2005 3350 113 - 127
  39. Author Article Lecture Notes in Computer Science FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs 2005 3440 563 - 569
  40. Author Article Lecture Notes in Computer Science Localizing Program Errors for Cimple Debugging 2004 3235 79 - 96
  41. Author Article International Journal on Software Tools for Technology Transfer A logical encoding of the p-calculus: model checking mobile processes using tabled resolution 2004 6 1 38
  42. Author Article Journal of Systems and Software Distributed prototyping from validated specifications 2004 70 3 275 - 298

Courses

Term Role Course ID Description
Spring 2017 Primary Instructor CSE 305 Principles of Database Systems
Spring 2017 Primary Instructor CSE 475 Undergrad Teaching Practicum
Spring 2017 Primary Instructor CSE 487 Research in Computer Science
Spring 2017 Primary Instructor CSE 487 Research in Computer Science
Spring 2017 Primary Instructor CSE 487 Research in Computer Science
Spring 2017 Primary Instructor CSE 587 Proficiency Requirement
Spring 2017 Primary Instructor CSE 593 Independent Study in Comp Sci
Spring 2017 Primary Instructor CSE 593 Independent Study in Comp Sci
Spring 2017 Primary Instructor CSE 698 Practicum in Teaching
Spring 2017 Primary Instructor CSE 699 Dissertation Resrch on Campus
Spring 2017 Primary Instructor ISE 487 Rsrch in Information Systems
Summer 2017 Primary Instructor CSE 696 Internship in Research
Summer 2017 Primary Instructor CSE 800 FT SUMMER RESEARCH
Fall 2017 Primary Instructor CSE 305 Principles of Database Systems
Fall 2017 Primary Instructor CSE 523 Advanced Project in Computer S
Fall 2017 Primary Instructor CSE 699 Dissertation Resrch on Campus
Spring 2016 Primary Instructor CSE 305 Principles of Database Systems
Spring 2016 Primary Instructor CSE 593 Independent Study in Comp Sci
Spring 2016 Primary Instructor CSE 699 Dissertation Resrch on Campus
Summer 2016 Primary Instructor CSE 696 Internship in Research
Summer 2016 Primary Instructor CSE 800 FT SUMMER RESEARCH
Fall 2016 Primary Instructor CSE 593 Independent Study in Comp Sci
Fall 2016 Primary Instructor CSE 593 Independent Study in Comp Sci
Fall 2016 Primary Instructor CSE 643 Seminar in Concurrency
Fall 2016 Primary Instructor CSE 699 Dissertation Resrch on Campus
Fall 2016 Primary Instructor CSE 699 Dissertation Resrch on Campus
Spring 2015 Primary Instructor CSE 305 Principles of Database Systems
Spring 2015 Primary Instructor CSE 593 Independent Study in Comp Sci
Spring 2015 Primary Instructor CSE 593 Independent Study in Comp Sci
Spring 2015 Primary Instructor CSE 699 Dissertation Resrch on Campus
Summer 2015 Primary Instructor CSE 800 FT SUMMER RESEARCH
Fall 2015 Primary Instructor CSE 305 Principles of Database Systems
Fall 2015 Primary Instructor CSE 587 Proficiency Requirement
Fall 2015 Primary Instructor CSE 593 Independent Study in Comp Sci
Fall 2015 Primary Instructor CSE 643 Seminar in Concurrency
Fall 2015 Primary Instructor CSE 698 Practicum in Teaching
Fall 2015 Primary Instructor CSE 699 Dissertation Resrch on Campus
Spring 2014 Primary Instructor CSE 305 Principles of Database Systems
Spring 2014 Primary Instructor CSE 593 Independent Study in Comp Sci
Spring 2014 Primary Instructor CSE 698 Practicum in Teaching
Spring 2014 Primary Instructor CSE 699 Dissertation Resrch on Campus
Summer 2014 Primary Instructor CSE 800 FT SUMMER RESEARCH
Fall 2014 Primary Instructor CSE 305 Principles of Database Systems
Fall 2014 Primary Instructor CSE 593 Independent Study in Comp Sci
Fall 2014 Primary Instructor CSE 593 Independent Study in Comp Sci
Fall 2014 Primary Instructor CSE 643 Seminar in Concurrency
Fall 2014 Primary Instructor CSE 699 Dissertation Resrch on Campus
Summer 2013 Primary Instructor CSE 800 FT SUMMER RESEARCH
Fall 2013 Primary Instructor CSE 305 Principles of Database Systems
Fall 2013 Primary Instructor CSE 593 Independent Study in Comp Sci
Fall 2013 Primary Instructor CSE 593 Independent Study in Comp Sci
Fall 2013 Primary Instructor CSE 699 Dissertation Resrch on Campus

Honors

Type Description Year
Award Research Excellence Award, Department of Computer Science, Stony Brook University
Other Deputy Director, NSF Expedition in Computing on Computational Modeling and Analysis for Complex Systems, 2009-2014.

Scholarly Activities

Activity Title Date
Workshop Invited Participant: NSF Planning Meeting for Workshop on Medical Device Innovation 2012-02
Other Invited Participant: Air Force Research Lab Planning Meeting on Run Time Assurance University Challenge Problem 2012
Lecture "Runtime Verification in the Presence of Event Sampling." NASA JPL, Laboratory for Reliable Software, Pasadena, CA. 2011-08
Other Sabbatical Visit, NASA JPL, Laboratory for Reliable Software, Pasadena, CA. 2011-08
Lecture “Aspect-Oriented Program Instrumentation for GCC.” AFOSR Systems and Software Program Review Meeting, Arlington, VA. 2010-08
Lecture “Software Monitoring with Controllable Overhead.” Safe & Secure Systems & Software Symposium – S5, Beaverton, OH. 2010-08
Lecture “Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes.” Kickoff Meeting, NSF Expedition on Computational Modeling and Analysis for Complex Systems, Pittsburgh, PA. 2009-12

Professional Service

Service Title Date
Other General Chair of SPIN 2013, First International Symposium on Model Checking of Software, Stony Brook, NY, July 2013. SPIN 2013 marks the 20th Anniversary of the International SPIN Workshop. 2011 - 2012
Other Program Committee Co-Chair, TACAS 2013, 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy, April 2013. 2011 - 2012
Other Program Committee Member, First International Workshop on Hybrid Systems and Biology, Newcasle upon Tyne, UK, September 2012. 2011 - 2012
Other Program Committee Member, SSS 2012, 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (Formal Methods Track), Toronto, Canada, September 2012. 2011 - 2012
Other Program Committee Member, TACAS 2012, 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Tallinn, Estonia, April 2012. 2011 - 2012
Referee Program Committee Member, RV 2011, Second International Conference on Runtime Verification, San Francisco, Ca, September 2010. 2010 - 2011
Other Advisory Board Member, Handbook of Model Checking, Springer-Verlag. To appear. 2011. 2009 - 2010
Other Deputy Director, NSF Expedition in Computing on Computational Modeling and Analysis for Complex Systems 2009 - 2010
Other Member Emeritus, IFIP Working Group 2.2, Formal Description of Programming Concepts. 2009 - 2010
Other Steering Committee Member, The CONCUR International Conference on Concurrency Theory. 2009 - 2010
Referee Program Committee Member, CMSB 2010, Eigth International Conference on Computational Methods in Systems Biology, Trento, Italy, September 2010. 2009 - 2010
Referee Program Committee Member, RV 2010, First International Conference on Runtime Verification, Sliema, Malta, November 2010. 2009 - 2010
Service on Editorial Boards Member of the Editorial Board of the journal Formal Methods in System Design, Ed Clarke, Editor-in-Chief, Kluwer Press. 2009 - 2010
Service on Editorial Boards Member of the Editorial Board of the journal Logical Methods in Computer Science, Dana Scott, Editor-in-Chief. 2009 - 2010
Service on Editorial Boards Member of the Editorial Board of the journal Software Tools for Technology Transfer, Bernhard Steffen, Editor-in-Chief, Springer-Verlag. 2009 - 2010
Service on Editorial Boards Member of the Editorial Board of the journal Transactions on Computational Logic, Krzysztof Apt, Editor-in-Chief, ACM Press. 2009 - 2010

University Service

Service Title Date
Community Activity Volunteer for the New York Organ Donor Network 2011 - 2012
Other Faculty Advisor to Undergraduate Student Club on Organ Donation Awareness (ODAC). Since 2006, students in ODAC have organized and participated in the Annual Donate Life Walk & Organ Donation Registration event around the campus mall to raise awareness for the need for organ donation. 2011 - 2012
Community Activity Volunteer for New York Organ Donor Network 2010 - 2011
Other Faculty Advisor to Undergraduate Student Club on Organ Donation Awareness (ODAC). Since 2006, students in ODAC have organized and participated in the Annual Donate Life Walk around the campus mall to raise awareness for the need for organ donation. 2010 - 2011
Worked with Bobbie Watkins, Community Relations Specialist, New York Organ Donor Network, and Dave Bekofsky, Directory of Transplant Services, Stony Brook University Medical Center, to ensure NYODN's and SBUMC's participation in the Fifth Annual Donate Life Walk for Organ Donation Awareness, which took place April 21, 2010. 2009 - 2010
College/University Committee Member of Planning Committee for President Stanley’s Inauguration 2009 - 2010
Community Activity Volunteer for New York Organ Donor Network 2009 - 2010
Other Faculty Advisor to Undergraduate Student Club on Organ Donation Awareness. Since 2006, students in the Seminar and Club have organized and participated in the Annual Donate Life Walk around the campus mall to raise awareness for the need for organ donation. 2009 - 2010
Other Faculty Instructor for College of Leadership & Service Freshman Seminar on Organ and Tissue Donation 2009 - 2010