Profile picture

PhD Student

University of Wisconsin, Madison

first_name (dot) last_name (at) wisc (dot) edu
GitHub: jinlang226
LinkedIn

I’m Jinlang Wang, a second-year Computer Science Ph.D. student at the University of Wisconsin-Madison, advised by the wonderful Tej Chajed. I am broadly interested in formal verification, especially distributed systems verification. We write a precise specification of what the system is supposed to do and prove that the implementation meets the specification. Also, I am learning verification tools like Coq, Dafny, and Iris.

Education

Personal

Music

I like to play in an ensemble, and I am always looking for people who are willing to play in an ensemble with me. My favorite composer is Franz Liszt, and I really like his Hungarian Rhapsody No. 2 (fun fact: Tom only has four fingers, so the producer had a pianist come to play with just four fingers, and then had Tom replicate the entire set) which took me half a year to master two-thirds of it. I hope to complete the final third when I have time… Yuja Wang is my favorite pianist, and we share the same hometown. I was very fortunate to see her play in Orlando.

Movies

A list of movies that I watched recently.

Travel

I enjoy traveling. I hope to visit Antarctica one day. More travel blogs are here.