· Formal Methods Internship, NASA Langley Research Center2023–2023
· Master's degree, Computer Science, University of Maryland2022–2023
· Computer Science Undergraduate Teaching Assistant, University of Maryland2019–2020
· Bachelor of Science - BS, Computer Science, University of Maryland2018–2022
· Doctor of Philosophy, Computer Science, University of Maryland