Jinlang Wang
PhD Student
first_name (dot) last_name (at) wisc (dot) edu
GitHub: jinlang226
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
- [in-progress] PhD University of Wisconsin, Madison, 2022-?
- Computer Science University of Pittsburgh, 2018-2022
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.