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.
- Exercising. I enjoy playing tennis and going to the gym with friends.
- Video games and card games.