 |
|
||||||||||||||||||
 |
 |
 |
 |
 |
 |
 |
 |
|
|||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
Eugene W. Stark
| Contact Info |
Professor, Computer Science Department 1414 Computer Science Stony Brook University Stony Brook, NY 11794-4400 (631)632-8444 |
|
| Research Topics | Programming language semantics, distributed algorithms, formal specifications, verification, theory of concurrency | |
| Teaching Summary | CSE 113, CSE 160, CSE 219, CSE 230, CSE 306, CSE 506, CSE 523, CSE 524, CSE 641, CSE 653 | |
| Detailed Information | http://www.cs.sunysb.edu/people/faculty/EugeneWStarkAB.html | |
| Home Page | http://www.cs.sunysb.edu/~stark | |
