About Me

I am a graduate student at the University of Central Florida (UCF) pursuing a PhD in Computer Science. My advisor is Dr. Paul Gazzillo. My research focus is on transforming C macros to C functions.

What I'm Into

  • Programming languages. I have been programming since high school, and genuinely enjoy learning about programming languages. From scripting languages like Python to formal proof assistants like Coq, I am familiar with a broad array of languages and language paradigms. My overall research goal is to use programming language theory to improve existing software development tools. By improving existing tools, developers can create more secure, reliable, and performant software.
  • Reading.
  • Exercising. I enjoy playing tennis and going to the gym with friends.
  • Video games and card games.
Picture of me in a funny Christmas shirt at Wynwood Walls
A picture of me in a silly Christmas shirt, standing in front of the Wynwood Walls in Miami, Florida. Photo taken by Meg Pukel