My email is “myfirstname dot mylastname at gmail dot com”, and my resume can be found here (Last updated: 01/29/2018).
My current research interest is about combining advanced Machine Learning techniques and Programming Languages techniques. I believe the PL approach can play an important role in enhancing ML, making it safer and more interpretable.
I have also looked at plenty of other problems in the past, including but not limited to Relaxed Memory Models, Concurrency Logics and Liveness properties, Verified Compilation, etc.. I am broadly interested in them.
Before joining Purdue, I got my Bachelor’s degree at Tongji University (同济大学). While an undergrad, I was once an exchange student at Rose-Hulman Institute of Technology (RHIT) in Fall 2012, and once an intern at Intel, Shanghai in Spring 2013.
Married to Bing Yuan. ❤️
More introvert, actually INTJ-T – (THAT’S WHY I WROTE A BLOG AND LET YOU READ IT YOURSELF.).
Enthusiastic soccer fan! badminton player, (seasonal) runner, (occasional) swimmer.
My first name is pronounced as
X is like
sh. I know it is not always easy to pronounce, so feel free to call me Lin as well.
I was born in Longyan (龙岩), my beloved “small” hometown in Fujian (福建) province, southeast China.
As an undergrad, I live in Shanghai for 4 years. During that period, I also visited Singapore once (for traveling). In fall 2012, I was an exchange student at Rose-Hulman and came to Indiana. One year later, I returned to Indiana, this time staying at Purdue for the next 6+ years..
Below is my footprints within US (updated 06/02/2019), I love sightseeing and I still have so so so many places to explore!