João Ferreira

Sir Tony Hoare on the future of Computing Science (CACM, March 2009):
I expect the future to be as wonderful as the past has been. There’s still an enormous amount of interesting work to do. As far as the fundamental science is concerned, we still certainly do not know how to prove programs correct. We need [...]