Moshe Vardi Receives the 2025 Computer-Aided Verification (CAV) Award
The award recognizes Vardi’s fundamental contributions to the design of temporal logics and their role in creating industry-standard property-specification languages
Body
A Rice Ph.D. alum, Xing focuses on secure systems and scalable AI infrastructure
Recognition honors his global impact in advancing the field of cyber-humanities
New Rice CS faculty member Alireza Fallah specializes in market and mechanism design, its intersection with machine learning theory and responsible AI
The team received a $1.99M NSF grant to lead research on engineered bacterial consortia that could form the basis of biological computing systems
AI “disruptor” promoted to full professor
Anshumali Shrivastava mines the deeper possibilities of AI for all
Rebecca Schreib’s next-gen education tools are fueled by her love of teaching
Rice CS faculty member promoted to associate teaching professor
Kavraki elected to European Academy of Sciences
Rice engineer recognized for contributions to robotics, computational biomedicine, AI
Novel communication solution drastically speeds up LLM training
Rice ignites innovation with two premier summits on cutting-edge technologies
The summits brought together global experts to set the vision for the future of quantum computing and artificial intelligence (AI).
Novel algorithm offers solution to adjusting bandwidth at cloud scale
Pam Qian ’25 Joins University of Houston as Assistant Professor in Computer Science
Qian received guidance and support through the Future Faculty Fellows program.
Rice CS helps shape new global framework for biotech governance
Rice faculty join international experts to develop updated guidelines for responsible innovation, marking 50 years since the landmark 1975 Asilomar conference
Jason Han Wins ACM Grand Finals for Quantum AI Research
Rice student takes first place nationally for reimagining quantum noise in generative diffusion models