×
You are not logged in
Bluesky Profile
Jingbo Wang
Registered: 9 Nov 2024 20:51
Last post: n/a
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
This account allows followers on Bluesky to be notified of new posts from this account.
| jingbow.bsky.social PDS: splitgill.us-east.host.bsky.network 2024-11-09 20:51:32 |