joshuacrotts / castlevania-legion Goto Github PK

🖥️ 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 with Dr. Nancy L. Green. I have three published papers in inductive logic programming, antithesis detection, and AI argument scheme education. I also plan to do more independent research. I have also presented at the 14th and 15th Thomas Undergraduate Creativity Expo as well as the 21st Annual Honors Undergraduate Symposium at UNCG. I presented a nifty assignment at SIGCSE 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 at Pearson.

🎮 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!

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