About Me

I'm a software engineer currently working at Apollo Care. I previously worked at ION Group, a leading international fintech company, spending time in both product management and software development. I graduated from Indiana University Bloomington with a BS in Computer Science with Highest Distinction. My specialization was Programming Languages, and I am grateful to have learned from some of the best minds in the field at IU. I was also a teaching assistant for CSCI-C 211, IU's introductory computer science course.

I was born and raised in Valparaiso, Indiana, a suburb of Chicago. I now reside in Chicago.

When I'm not programming, I'm probably watching or tweeting about IU sports (go Hoosiers!) or hanging out with my friends.

Interests

My main areas of interest are functional programming, mathematical logic, and philosophy (specifically philosophy of logic and philosophy of mind). I have a growing interest in logic/relational programming.

Skills

• Programming Languages
• Python
• Rust
• List/Racket/Scheme
• Haskell
• JavaScript
• AWS
• Step Functions
• Lambda
• DynamoDB
• RDS
• EC2
• Markup Languages
• HTML/CSS
• LaTeX

I know Racket the best (and it is my dearly beloved language). As a staunch advocate for functional programming and elegant programming language design, I have some qualms with Java, but I have enough experience to feel comfortable working on object-oriented projects, especially in Java. I do not have a ton of experience in Python, but I am actively learning it, and have certainly enjoyed it so far!

I have a solid understanding of web development, as I wrote everything on this site by hand (well, by Emacs₁).

I am most comfortable working in a Unix-like environment (Mac or Linux) but I am familiar with Windows. I also am comfortable shell scripting with bash!

¹ Interestingly, over the course of developing this website, I have become more fond of Vim as a text editor.

Projects

Most of my time spent programming is dedicated to coursework for the classes I'm taking, but sometimes I'm able to focus on some more extracurricular work, such as:

• How I Learned to Stop Worrying and Love the Design Recipe
  • A "textbook" of sorts for C211, the introductory CS class I teach at IU.
• This website
  • This site serves two purposes: 1) the purpose that all personal websites are supposed to serve and 2) a place for me to practice my web development!

Courses

Learning

The following is a list of relevant courses I have taken so far at IU:

• MATH-S 211, Calculus I, Honors (Fall 2017)
• PHIL-P 150, Elementary Logic (Fall 2017)
• MATH-M 212, Calculus II (Spring 2018)
• CSCI-C 211, Introduction to CS (Spring 2018)
• PHIL-P 250, Introductory Symbolic Logic (Spring 2018)
• CSCI-C 212, Introduction to Software Systems (Fall 2018)
• CSCI-C 241, Discrete Structures for CS (Fall 2018)
• MATH-S 311, Calculus III, Honors (Fall 2018)
• CSCI-H 343, Data Structures and Algorithms, Honors (Spring 2019)
• CSCI-H 311, Programming Languages, Honors (Spring 2019)
• MATH-M 371, Elementary Numerical Analysis (Spring 2019)
• PHIL-P 251, Intermediate Symbolic Logic (Spring 2019)
• CSCI-B 401, Introduction to the Theory of Computing (Fall 2019)
• CSCI-C 291, Systems Programming with C and Unix (Fall 2019)
• PHIL-P 360, Introduction to Philosophy of Mind (Fall 2019)
• PHIL-P 312, Skepticism and Meaning (Fall 2019)
• CSCI-B 522, Programming Language Foundations (Spring 2020)
• CSCI-H 335, Computer Structures, Honors (Spring 2020)
• PHIL-P 320, Philosophy of Language (Spring 2020)
• COGS-Q 240, Foundations of Cognitive Science (Fall 2020)
• CSCI-B 351, Introduction to Artificial Intelligence (Fall 2020)
• CSCI-P 423, Compilers (Fall 2020)
• CSCI-P 436, Operating Systems (Spring 2021)
• CSCI-B 457, Introduction to Computer Vision (Spring 2021)
• MATH-M 330, Exploring Mathematical Ideas (Spring 2021)

Teaching

I was an undergraduate instructor in IU's CS department, and the following is list of courses I have taught:

• CSCI-C 211, Introduction to CS (Fall 2018 - Fall 2020)