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