Stallings discovered that many properties of free groups can be proved elegantly by studying the topology of finite graphs. In this talk, I will explain some of Stallings' tools and techniques including folding and core graphs. I will also explain short proofs of some remarkable results such as Marshall Hall's theorem which shows that every finitely generated subgroup of a free group is the intersection of the finite index subgroups containing it.