Ned Okie - Other information
-
Photograph
- Education:
- Ph.D. - Virginia Tech - CS - 1989
Dissertation title: Error Directed Execution History Analysis: An
Approach to Automatic Debugging
- M.S. - Virginia Tech - CS - 1983
Thesis title: An Implementation of a Typed Functional Programming
Language
- B.S. - Carnegie Mellon University - Math - 1976
Central London Polytechnic - Math - 1973-1974
- Joined RU: Fall 1988
- Courses taught at RU
- ITEC courses
- 120
- 224
- 320, 352, 360, 371, 380
- 420, 460
- 680
- CPSC courses
- 106, 109, 115A, 115B, 120, 122, 124,
198D, 198G, 198K
- 250, 272
- 351, 352, 380
- 420, 460
- 560
- Areas of Interest:
- Programming in LyX and R
- Modeling budbreak in peach trees
- Interval representation of sets
- Vim
- Decimal error detection
- Error detecting and correcting codes
- Program slicing
- Programming and teaching Ada
- Automatic debugging
- Object-oriented programming
- Functional programming languages
- Programming language semantics
- Parallel systems
- Limits of computation
- Previous Jobs:
- Graduate teaching assistant
- Programmer for Virginia Tech Wildlife Department
- Short-order cook
- Construction worker
- TV repairman
- Personal Interests:
- Family activities
- Church activities
- Reading
- Hiking and camping
- Juggling