Scott A. Smolka Professor Dept. of Computer Science SUNY at Stony Brook E-mail:
Statement of Research Accomplishments Computational Modeling and Analysis for Complex Systems Survivable Software Probabilistic Tabled Logic Programming Reactive Systems, Inc. Introduction to Operating System Design and Implementation:The OSP 2 Approach
