This is one of those threads which makes you feel a bit ill inside for "upvoting" as it were, but nonetheless he deserves to be recognised for his contributions and achievements.
I'm not sure if his email address is current, but I emailed Frank Oles about this. He and I used to collaborate a bit and he was a student of Reynolds. He might know. The math genealogy project also lists it as unknown.
A couple of years ago, I read his paper "Definitional Interpreters for Higher Order Languages" [1], because it was suggested to me by a friend. It was a joyful read, and to the best of my knowledge it is the first treatment of how to implement higher-order language constructs in a first-order language. Just recently, I thought of the paper, so it's sad news that the author has died...
15 comments
[ 3.3 ms ] story [ 47.3 ms ] thread(people please use the photo from this link instead of the one currently in Wikipedia where he looks somewhat angry)
http://phdtree.org/scholar/reynolds-john-c/
But his phd advisor info is missing
He lists the following people in his acknowledgements:
http://phdtree.org/scholar/martin-paul-cecil/
http://phdtree.org/scholar/martin-paul-cecil-2/
http://phdtree.org/scholar/puff-robert-david/
http://phdtree.org/scholar/gottfried-kurt/
You could always try emailing them to ask if they were an advisor of Reynolds?
Some things Google doesn't know :)
[1] http://repository.readscheme.org/ftp/papers/plsemantics/reyn...