Rice Computer Science (@ricecompsci) 's Twitter Profile
Rice Computer Science

@ricecompsci

Excellence in computer science since 1984. Rice Computer Science is a department in the George R. Brown School of Engineering and Computing.

ID: 4710725886

linkhttps://www.cs.rice.edu/ calendar_today04-01-2016 23:13:45

3,3K Tweet

2,2K Followers

914 Following

Rice Computer Science (@ricecompsci) 's Twitter Profile Photo
Rice Computer Science
@ricecompsci

17 days ago

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

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