Hello! I’m Lu-Chin Chang 張律勤, a first-year PhD student in CS at GaTech. I am fortunate to be advised by Professor Suguman Bansal.
My ultimate research goal is to derive a tool that given an AI model and a behavior description, it can output the probability of the model satisfies that behavior. I am currently looking at RL with Formal Methods.
In my free time, I like to play music (My Music ), read, and cook. My favorite band is Snarky Puppy.