michael witbrock is a computer scientist