![Profile picture](img/main.jpg)
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.
One of my ongoing research projects is to use formal methods on distributed protocols to help students learn distributed systems. With a combination of the right tools and explanation, can we explain what goes wrong and why a protocol works?
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.