 |
|
||||||||||||||||||
 |
 |
 |
 |
 |
 |
 |
 |
|
|||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
Scott A. Smolka
| Contact Info |
Professor, Computer Science Department 1423 Computer Science Stony Brook University Stony Brook, NY 11794-4400 (631)632-8453 |
|
| Research Topics | Model checking, semantics of concurrency, CASE tools for safety-critical systems, distributed languages and algorithms | |
| Teaching Summary | CSE/ISE 305, CSE 306, CSE 523, CSE 524, CSE 532, CSE 635, CSE 653, CSE 673 |
|
| Detailed Information | http://www.cs.sunysb.edu/people/faculty/ScottSmolkaAB.html | |
| Home Page | http://www.cs.sunysb.edu/~sas | |
