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.

 

Besides theory, I also enjoy learning about the more practical aspects of computing, such as operating systems, database management systems, and computer networks.

 

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

Website status

This is currently a skeleton website to justify expensing the domain, but I hope to fill it with interesting blog posts and trinkets soon!

In the meantime, you can take a look at my academic experiences in the courses tab, or look at my projects on github. =D

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.

• Tea Preferences:

  My favorite kind of tea is probably Oolong (especially Tieguanyin), but I also enjoy Jasmine, Chrysanthemum (did you know their leaves are a vegetable?), and Earl Gray as well.

 

---

Image Credit: cover page of Scala with Cats by Underscore