Jingbo Wang
jingbow.bsky.social
Jingbo Wang
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
No videos yet.