Martin Karplus' group is behind CHARMM (http://www.charmm.org), which was the first(?) molecular dynamics package (you can think of it as a precursor to folding@home, though it's still under active development, so that isn't a totally fair statement).
Michael Levitt has done a bunch of things, with no one big software package, but he was one of the earliest people trying to do ab initio protein structure prediction. He was also one of the first people to really start categorizing protein structure in a way that allowed for computational modeling -- back in the 70s and early 80s.
Arieh Warshel is probably best known for bridging the gap between quantum mechanics and the (relatively quick-and-dirty) molecular mechanics work. He's done a whole bunch of work modeling enzymatic reactions, coming up with better electrostatic models, and other things where quantum mechanics does a good job, but is way too slow to be used on giant molecules like proteins.