Unfortunately, due to a high volume of spam, we now require a CAPTCHA to be solved for all comments of anonymous users. Even a simple CAPTCHA reduces the spam volume that we manually have to plow through by an order of magnitude, which reduces the chance that we accidentally delete legitimate comments.
Is Dijkstra talking to W(im).H.J.Feijen? It would be nice to know if it is.
I also recognize the person in the background but forget the name. If it is who I think it is, he worked in Edinburgh and then in Oxford on automated theorem proving.
I don't know who the other two people in the picture are. I'm hoping the problem will be solved in the near future. If anyone knows who these people are, please drop a line.
3 Comments
Comments on pictures
Submitted by kdegrave on
It is now possible to add comments to pictures.
Unfortunately, due to a high volume of spam, we now require a CAPTCHA to be solved for all comments of anonymous users. Even a simple CAPTCHA reduces the spam volume that we manually have to plow through by an order of magnitude, which reduces the chance that we accidentally delete legitimate comments.
People in photo
Submitted by Roland Backhouse (not verified) on
Is Dijkstra talking to W(im).H.J.Feijen? It would be nice to know if it is.
I also recognize the person in the background but forget the name. If it is who I think it is, he worked in Edinburgh and then in Oxford on automated theorem proving.
People in photo
Submitted by egdaylight on
I don't know who the other two people in the picture are. I'm hoping the problem will be solved in the near future. If anyone knows who these people are, please drop a line.
best wishes,
Edgar