portrait of dennis ritchie. oil painting by greg rutkowski, nuri iyem, james gurney