Welcome and Hello!

About me

I'm Jiamu, a student of Computer Science and Mathematics at UW-Madison and recreational Scalamander. Currently my main interests are the specification of dependently typed functional languages (like Rocq and my beloved Idris) as well as in compiler design and formal security policies. I'm also an undergraduate member of madPL advised by Professor Ethan Cecchetti.

 

Besides computing theory, I also enjoy learning about and experimenting with the more practical aspects of computing, such as operating systems and compiler implementation/optimizations.

 

Outside of academics, I still enjoy programming as a hobby (be it making fun projects, code-golfing, or participating in compeititions like Battlecode and AoC). Besides that, I enjoy listening to music, going on lakeside strolls and drinking tea — in no particular order.

Miscellany

• Naming Conventions:

  Usually I and others pronounce my name as either: Ji-mu (like Jeep), Juh-mu (like the first syllable of Judge), or Gea-mu (like the last syllable of Pangaea), since the original phoneme is not used in English. Although I also frequently anglicize my name to James, so feel free to call me that as well!

• Musical Selections:

  If I had to pick, I'd say that my favorite genre is Euro-American folk, followed distantly by classical and pop (though I also find Kletzner fun to listen to).

• Tea Preferences:

  My favorite kind of tea is probably Oolong, but I also enjoy Jasmine, Chrysanthemum (did you know their leaves are a vegetable?), and Earl Grey as well. No, I'm not much of a coffee drinker

 

---