@ricecompsci.bsky.social on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Post

Rice University Computer Science

ricecompsci.bsky.social

did:plc:abmttsbrd2kpmmyvoie3srpj

Moshe Vardi and a team of IBM and Intel researchers received the 2025 Computer-Aided Verification (CAV) Award for their fundamental contributions to temporal logics. The honor recognizes their role in creating industry-standard property-specification languages. bit.ly/45DIx8C http://bit.ly/45DIx8C

2025-08-07T02:16:12.309Z