I am an Associate Professor and the Department Chair of Computer Science and Electrical Engineering at the University of Texas Permian Basin. I earned my PhD in Electrical Engineering from UT Arlington in 2017. My research interests include formal verification, cyber-physical power systems, and resilient microgrids.