Michael Witbrock is a computer scientist