Graciously supported by the NSF Graduate Research Fellowship.
Research Experience
Before her PhD, she worked on the Software Assurance Research and Applications team at Johns Hopkins University Applied Physics Laboratory (APL), providing formal methods to government sponsors.
Education
PhD in Electrical Engineering and Computer Sciences, UC Berkeley (in progress); Bachelor's degree in Computer Science, Indiana University, Bloomington.
Background
Research interests: reachability analysis, formal methods, data-driven control, safety; Field: Electrical Engineering and Computer Sciences; Brief introduction: Currently a second-year PhD student at UC Berkeley, advised by Murat Arcak. Now a visiting researcher at NTNU, working on maritime applications with Asgeir Sørensen. Her research focuses on data-driven reachability analysis and safety for systems with uncertain dynamics.