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
Congrats! 🎉
January 26, 2025 at 10:18 PM