Oleg Sokolsky
Original record- Institution
- State University of New York at Stony Brook
- Year
- 1996
- Country
- United States
- MGP identifier
- 199884
Dissertation: Efficient Graph Based Algorithms for Model Checking in the Modal Mu Calculus
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Scott Allen SmolkaBrown University · 1985
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Arvind Easwaran | University of Pennsylvania | 2008 | 0 |
| BaekGyu Kim | University of Pennsylvania | 2015 | 0 |
| Usa Sammapun | University of Pennsylvania | 2007 | 0 |
| Andrew Granville West | University of Pennsylvania | 2013 | 0 |