I don't really understand what you mean by privately or publicly-fueled theory, but anyway...
Instead of waiting for someone to write on the wiki, you could go out there and google a bit.
Very briefly: he made major contributions to compiler and OS design (including the first Algol compiler and a whole OS, the THE OS), devised two fundamental graph algorithms (shortest path and spanning tree), and spearheaded making programming into a serious discipline rooted in maths (along the way pretty much giving birth to structured programming).
He also wrote (longhand!) over a thousand essays on CS and related topics, which are (as far as I've read, and I've read quite a few) all a joy to read.
Instead of waiting for someone to write on the wiki, you could go out there and google a bit.
Very briefly: he made major contributions to compiler and OS design (including the first Algol compiler and a whole OS, the THE OS), devised two fundamental graph algorithms (shortest path and spanning tree), and spearheaded making programming into a serious discipline rooted in maths (along the way pretty much giving birth to structured programming).
He also wrote (longhand!) over a thousand essays on CS and related topics, which are (as far as I've read, and I've read quite a few) all a joy to read.
You can start here: http://amturing.acm.org/award_winners/dijkstra_1053701.cfm and here: http://www.cs.utexas.edu/users/EWD/