She completed a Ph.D. in the Computer Science Department at Carnegie Mellon University, creating differential Refinement Logic for comparing and verifying hybrid systems. During her time at CMU, Sarah was a Department of Energy Computational Science Graduate Fellow and a National Science Foundation Graduate Research Fellow. Sarah has previously served on the board of trustees and board of advisors for the Anita Borg Institute for Women and Technology.