Retired Computer Scientist. Currently teaching part time in the Department of Computer Science at Eastern Michigan University.

My current research interest is programming languages that give equal weight to state and process, which leads indirectly to an interest in proving program correctness.

  • Ypsilanti, MI
  • Member for 5 months
  • 0 profile views
  • Last seen Jun 1 at 18:33

Keeping a low profile.

This user hasn't posted yet.