Miki Verma is an M.S. student in Symbolic Systems at Stanford University. Miki received a B.S. in Applied and Computational Math Sciences from the University of Washington. During her undergraduate career, she was a Data Science for Social Good fellow at the eScience Institute, and she worked as a research assistant for the Washington State Transportation Center. After graduating, she joined Oak Ridge National Laboratory as a research data scientist in the Cyber Security Research Group, where she primarily worked in the vehicle and endpoint security space. Miki’s research interests include machine learning and data-driven environmental policy.