Charlie is a Master's student in the Computer Science department. Currently he is working in the Generative AI Laboratory under Dr. Christopher Jules White and writing his thesis under Dr. Taylor T. Johnson on formal verification of LLMs in language translation from C to Rust.