Elizabeth Dietrich

I am a second year PhD student in Electrical Engineering and Computer Sciences (EECS) at UC Berkeley, where I am advised by Murat Arcak. Currently, I am a visiting researcher at the Norwegian University of Science and Technology (NTNU) working on maritime applications with Asgeir Sørensen. My research focuses on data-driven reachability analysis and safety for systems with uncertain dynamics. My broader interests lie in control theory, formal methods, and statistical learning. Additionally, I am interested in applications of my research on maritime vessels. I am graciously supported by the NSF Graduate Research Fellowship.

Prior to my PhD studies, I worked on the Software Assurance Research and Applications team at the Johns Hopkins University Applied Physics Laboratory (APL) to provide formal methods to government sponsors, and I obtained a Bachelor’s degree in Computer Science from Indiana University, Bloomington.

Research interests

reachability analysis \(\cdot\) formal methods \(\cdot\) data-driven control \(\cdot\) safety