Dr. S. Purushothaman Iyer
Professor
3256 EB II Phone: 919-515-7291
Fax: 919-513-7447
Email: purush AT csc.ncsu.edu
Web Site: http://www4.ncsu.edu/~purush/
Location: Campus Maps (powerd by ITECS)
Research
Interests
Programming and specification languages.
Software model-checking; Probabilistic models of concurrency and probabilistic
model-checking.
