Institution. Rice University

link · rice.edu · ROR

People

Anshumali Shrivastava anshumalishrivastavaProfessor, Computer Science and Ken Kennedy Institute · Rice University
PhD studentsBeidi Chen
cs.rice.edu/~as143 · https://github.com/RUSH-LAB

Konstantinos Mamouras konstantinosmamourasAssociate Professor, Department of Computer Science · Rice University
PhD advisorDexter Kozen
Postdoc advisorRajeev Alur
PhDCornell University
Master’sImperial College London
kmamouras.github.io · 0000-0003-1209-7738

PhD alumni

Amr Sabry amrsabryProfessor of Computer Science · Indiana University Bloomington
PhD advisorMatthias Felleisen
PhDRice University
homes.luddy.indiana.edu/sabry · 0000-0002-1025-7331

Beidi Chen beidichenAssistant Professor of Electrical and Computer Engineering · Carnegie Mellon University
PhD advisorAnshumali Shrivastava
Postdoc advisorChristopher Ré
PhDRice University
UndergraduateUniversity of California, Berkeley
andrew.cmu.edu/user/beidic · https://github.com/keroro824

Robert Bruce Findler robertfindlerProfessor · Northwestern University
PhDRice University
UndergraduateCarnegie Mellon University
users.cs.northwestern.edu/~robby

Undergraduate alumni

Dan Grossman dangrossmanProfessor and Interim Director, Paul G. Allen School · University of Washington
PhD advisorGreg Morrisett
PhD studentsTalia Ringer
PhDCornell University
UndergraduateRice University
homes.cs.washington.edu/~djg · 0009-0005-2111-1900

Gregory Malecha gregorymalechaDirector of Formal Methods · SkyLabs AI
PhDHarvard University
UndergraduateRice University
gmalecha.github.io · 0000-0003-3952-0807

Stephanie Weirich stephanieweirichENIAC President's Distinguished Professor of Computer and Information Science · University of Pennsylvania
PhD studentsJonathan Chan, Yiyun Liu
PhDCornell University
Master’sCornell University
UndergraduateRice University
cis.upenn.edu/~sweirich · sweirich

Formerly here

Amr Sabry amrsabryProfessor of Computer Science · Indiana University Bloomington
PhD advisorMatthias Felleisen
PhDRice University
homes.luddy.indiana.edu/sabry · 0000-0002-1025-7331

Myles Tierney mylestierneyRutgers University–New Brunswick
PhD advisorSamuel Eilenberg
PhD studentsTodd Trimble
PhDColumbia University
UndergraduateBrown University
rice-university institution entries/institutions/rice-university.hel