Menu
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.
