Post #4405120
2026-08-05 00:50 UTC
#CS grad students scouring for their PhD dissertation ideas may find inspirations in Tony Hoare's 2005 "Grand Challenges" paper.
Grand Challenges for Computing Research, Hoare (2005)
#safe #secure #verified #software
https://www.cs.ryerson.ca/~aferworn/courses/CP8101/CLASSES/GrandChallengesinCS.pdf
Replies (0)
No replies.