🖥️ I have had a fondness for technology and computers since I was around two years old. I would watch my dad use the computer, and in time, I was in his shoes. While he wasn't a computer scientist, my daily usage of computers and eventual plunge into the curiosity of how a computer works led me to major in computer science at the University of North Carolina at Greensboro. I earned my bachelor's and master's in computer science at UNCG, and am a current computer science PhD student at Indiana University.

📑 I previously researched topics in artificial intelligence with a focus on rhetoric, education, and Prolog withDr. Nancy L. Green. I have three published papers ininductive logic programming,antithesis detection, andAI argument scheme education. I also plan to do more independent research. I have also presented at the14th and15th Thomas Undergraduate Creativity Expo as well as the21st Annual Honors Undergraduate Symposium at UNCG. I presented anifty assignment atSIGCSE 2022. My master's thesis focused on improving the pedagogy of natural deduction proofs and logical thought processing. I currently specialize in programming languages.

🎓 At IU, I am currently an instructor (on record) for the second computer science course taught in Java. I was previously an associate instructor for their introduction to computer science course taught in Racket, as well as the Java course. As a UNCG master's student, I TA'd for system programming, operating systems, algorithm analysis and design, database system principles, senior capstone, as well as several sections of UNCG's introduction to computer science course for two years. Additionally, I held review sessions/recitations for UNCG's philosophy department's introduction to formal logic course for two semesters. I was previously an academic tutor atPearson.

🎮 Other relevant interests are high-performance and parallel computing/processing, embedded software engineering, compiler design, low-level programming (e.g. systems programming), operating systems, and video game design (hence why my major projects are either games or game engines in C and Java!). Check out my repository to see some of these projects-most contain a detailed README with a .gif demo-ing the code.

📓 My theoretical computer science interests include programming language theory, formal (prepositional/predicate/modal) logic, higher-order logics, computer science education, compiler design, theory of computation, algorithm analysis, computer graphics, artificial intelligence, and natural language processing. It's all over the place, but that's what I like!

Visitmy website for more information(Warning: not always kept up-to-date)!

PinnedLoading

1. formal-logic-aiding-tutorformal-logic-aiding-tutorPublic

   This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.

   Java 4 1

2. littlec-compilerlittlec-compilerPublic

   A small compiler for the LittleC programming language.

   Java 4

3. micro-schememicro-schemePublic

   This is a repository of my Scheme interpreter written in Java with ANTLR.

   Java 2

4. software-engineering-ethics-debatersoftware-engineering-ethics-debaterPublic

   AI and Software Engineering Ethics Argumentation System

   Java 3 1

5. lock-out-protocollock-out-protocolPublic archive

   Lock Out Protocol is a game written for my software engineering course at UNC Greensboro for the Fall 2019 semester. Java was the programming language of choice.

   Java 2

6. multithreaded-chat-servermultithreaded-chat-serverPublic

   This is a multithreaded chat server implemented in C, with a nice user-interface.

   C 2