I n the late 20 th century, computer programs emerged that could solve the fundamental quantum mechanical equations that control the interactions of atoms that give rise to bonding. These tools, first applied to molecules and bulk solid materials, then began to be applied to surfaces and, in the early 21 st century, to electrochemical environments. 1 Commercial and open-source programs are now readily available and can be used on both desktop and highperformance computing platforms to solve for the electronic structure of a given configuration of atomic centers (nuclei) and, in so doing, provide the basis for determining a whole host of properties, including electronic and vibrational spectra, electrical moments such as the system dipole, and, most importantly, the energy and forces on the atoms. 2-4 Other derived properties include the extent to which each atom is charged and bond-orders, although to compute these latter properties one of a variety of methods for dividing up and quantifying the electron density associated with each atom must be selected. 5 The physics behind these codes is complex, and, challengingly, has no rigorous analytical solution that can be obtained within a finite allotment of time. Thus, the computer programs themselves take advantage of approximations that allow for a feasible solution but, at the same time, constrain the accuracy of the result. Nonetheless, solutions can usually be reliably obtained for model systems representing materials, interfaces, or molecules that do not exceed thousands, and, more realistically, hundreds of atoms. 6 Given that system sizes of hundreds or thousands of atoms amount to no more than the smallest nanoparticle of a substance, the question arises: What can atomistic simulations teach us about corrosion?The answer to this question lies in the ability for atomistic simulation to confirm or deny key hypotheses associated with potential corrosion mechanisms. By directly simulating the structure of a molecule, its spectroscopic signatures, or the energetics of the bond-making and bond-breaking processes it engages in, much information can be gained that is useful to the interpretation of experiment and the verification of proposed theories. For instance, if a certain mechanistic step has a considerably large activation barrier (as computed from quantum mechanics), we can assume that it will not proceed unless somehow catalyzed. Furthermore, if a given atomic configuration is found to be metastable through molecular simulation, then we can predict that, over time, it will decay to a lower energy state. Furthermore, using periodic boundary conditions, it is possible to mimic the effects of semi-infinite surfaces (thus effectively going beyond the hundreds or thousands of atoms limit), albeit ensuring that careful attention is paid to address spurious results that may arise from image-image interactions.In this report we give several examples. In the first case we show how the computation of the properties of molecular systems can provide some insight as to ...