Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of cowang

cowang

cowang has asked 0 questions and find answers to 4 problems.

Stats

44
EtPoint
4
Vote count
0
questions
4
answers

About

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.