Dr. S. Purushothaman Iyer
Adjunct Professor
Phone:
Fax:
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.