@jingbow.bsky.social
341 Followers · 136 Following
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Nothing here yet.
