- Assistant Professor of Computer Science
- Email Me
- (641) 472-7000 ext. 4324
- (641) 469-6483
- BA, Pepperdine University
- MA, Maharishi International University
- MS, Maharishi International University
- PhD, Iowa State University
- Programming language semantics (especially for object-oriented languages), programming methodology, specification (Larch/C++, Java Modeling Language [JML]), and verification.
- See his publications here.