About
Welcome again, dear reader! I'm Stephen Mao, and here are some less apparent thing about me.
Academic Interests
Within the conglomeration of computer science and mathematics I partake of, I particularly enjoy functional programming, programming languages, compilers, graph theory, and pedagogy!
I think FP, PL, and compilers come together really nicely to do 'metaprogramming'; I'm a big fan of eliminating the possibility of small bugs, with the definition of small always growing less small. As for graph theory, I think it's really quaint just how much it shows up everywhere in daily life.
On pedagogy, I think there's a lot of potential for large numbers of people who don't consider themselves STEM or math people to attain much more fluency and comfortability in the field than they think possible, largely through good pedagogy (blog posts incoming about that).
Christian Faith
My faith in Christ is the most important aspect of my life, and I think I'm in a good position to be open about it, dialogue, and clear up misconceptions between people (especially STEM people, who I am, who tend to consider Christianity and science antithetical)
If you have questions/comments/concerns, I encourage you to reach out to me!
Music
Music making has been a big part of my life ever since my youth; first with classical music through clarinet and now with a cappella (Joyful Noise) in university. It's been extremely rewarding from the beginning, and similar to above, I am also a big fan of music pedagogy.
Various Et Cetera1
Hobbies and activities that I have spent a nontrivial2amount of time on include: weightlifting, tennis, improv comedy, chess, and volleyball, the last of which is currently primus inter pares.
I used to be fluent in Spanish, credit to a stellar Spanish education in high school, which I subsequently lost during COVID. I intend to change that fact (and also attain true fluency in Mandarin), and hopefully this blurb will be updated in the future!
1Credit to Niklas Fasching for the CSS you see here; "graphic design is my passion" type stuff.
2A linguistic glitch that is, as far I can tell, exclusive to CMU (for better or for worse)