Advancing the frontiers of computing through research, education, and service.
Inside Rice CS
Rice CS winners include Bryan Guido Hassin and Wendy-Kay Logan
Program supports Ph.D., postdoctoral researchers applying for tenure-track faculty positions
Meel’s research focuses on automated reasoning at the intersection of formal methods and AI
Xing’s work opens new frontiers by enabling runtime programmability of networks and by leveraging programmable networking for security