S. Purushothaman Iyer
Professor of Computer Science
Department of Computer Science
Raleigh, NC 27695-8206

Physical Address:
EB II -- 3256 (Address Fedex Deliveries to EBII -- 3320)
890 Oval Drive
Raleigh, NC 27606

PhD students -- Past and Present

Research Interests

Formal methods, Programming Language Semantics, Formal aspects of Software Engineering, and Regulatory review of software in medical devices.

Some recent publications

  1. A Formal Methods based Aproach to Medical Device Review
  2. Using Abstraction-Driven Slicing for Post-Mortem Analysis.
  3. Case study of Computer-Aided Rescusitation Algorithm
  4. Simulating Perfect Channels with Probabilistic Lossy Channels.
  5. Probabilistic Temporal Logics via Modal Mu-Calculus.