O’Hearn befasst sich mit Logik und Programmiersprachen, wobei er sowohl theoretische Grundlagenforschung betreibt als auch praktische Softwaretools für die Analyse und Verifizierung von Programmen entwickelt.