Stephanie Weirich

Stephanie Weirich is a Rice CS alumna and a professor at the University of Pennsylvania.

Stephanie Weirich (B.A. ’96) is a Professor of Computer and Information Science at the University of Pennsylvania. Her research areas include functional programming, type systems, machine-assisted theorem proving and dependent types.  She and her students have made significant contributions to the design of the Haskell language and its type system.  Stephanie was recognized by the SIGPLAN Milner Young Researcher award (2016), a Microsoft Outstanding collaborator award, and a most influential ICFP paper award (awarded in 2016, for 2006). She has served as the program chair of POPL 2018, ICFP 2010, and the 2009 Haskell Symposium and was a co-founder of the Programming Languages Mentoring Workshop.

Stephanie often teaches Penn’s introductory Computer Science course “Programming Languages and Techniques I”, as well as graduate courses on Advanced Programming, Software Foundations, and Special Topics in Programming Languages research.

She has also served as Penn’s undergraduate chair for the CIS department and was succeeded in that role by another Rice University CS alumnus, Andreas Haeberlen.

Following her B.A. in CS at Rice University, she earned her M.S. and Ph.D. in CS at Cornell University.

Seth Fogarty

Rice CS alumnus Seth Fogarty is a CS Associate Professor at Trinity University.

Seth Fogarty (Ph.D. ’12) is an Associate Professor of Computer Science at Trinity University in San Antonio, Texas. He is a theoretician focusing on automata-theoretic formal verification, with more general interests in data structures, functional programming, and domain-specific languages. He routinely teaches classes on discrete mathematics, functional programming, programming languages, and compilers. His favorite languages are Haskell and Smalltalk, although most of his code is written in C.

Wrapping up his B.S. CS at the UIUC, Fogarty applied to Rice because it was highly ranked even though he had not heard of it. He received multiple admission offers, but the only two universities that offered him funding were Purdue and Rice. Fogarty said, “I went to visit Purdue first. They welcomed me by saying, ‘We’ll take you to a basketball game.’ I don’t even like basketball.

“Then I got to Rice and they handed me a map and said, ‘We’re in the museum district, here are the 16 museums in walking distance.’ Next, they gave me a walking tour – the campus was beautiful and the people were engaging. At that point, I messaged my friends that I might be moving to Texas.”

Read more in his CS Profile: https://www.cs.rice.edu/fogarty

Scott Rixner

Scott Rixner is a Professor of Computer Science at Rice University

Scott Rixner (Ph.D. ’01, MIT) is a Professor of Computer Science at Rice University. His research spans virtualization, operating systems, and computer architecture, with a specific focus on memory systems and networking. He is well versed in the internals of the Python programming language, as he has developed Python interpreters for both embedded systems and web browsers. He has been actively involved in curriculum development and oversight at Rice, having actively served on the curriculum committees for the University, School of Engineering, and Department of Computer Science. He has also taught or co-taught many of the introductory computer science courses at Rice, including Computational Thinking, Algorithmic Thinking, Introduction to Program Design, and Introduction to Computer Systems.

He has recently been named the Director for Rice’s Online Masters in Computer Science Program.

Moshe Vardi

Moshe Vardi.

Moshe Y. Vardi (Ph.D. ’81, Hebrew University of Jerusalem) is the Karen Ostrum George Distinguished Service Professor in Computational Engineering and was recently promoted to University Professor, Rice’s highest academic title.

His interests focus on automated reasoning, a branch of Artificial Intelligence with broad applications to computer science, including database theory, computational-complexity theory, knowledge in multi-agent systems, computer-aided verification, and teaching logic across the curriculum.

He is a member of the National Academy of Science and the National Academy of Engineering, an ACM Fellow, IEEE Fellow, Guggenheim Fellow, a Fellow of the American Academy of Arts and Sciences, and a recipient of the Fulbright Award.

At Rice, he is leading a new campuswide Initiative on Technology, Culture, and Society.

Follow him on Twitter at @vardi.

 

 

 

Jaspal Subhlok

Rice CS alumnus and UH CS department chair Jaspal Subhlok.

Jaspal Subhlok (Ph.D. ’91) is a Professor and the Chair of the Computer Science Department at the University of Houston. Although he’s had several high points over his academic and research career, he finds the greatest pride in what his department has accomplished since he began serving as its chair. He said the role is an interesting and challenging combination of working with diverse groups like the university’s administration and friends in industry, all the while making sure that  the needs of students and faculty members are served.

Read his Rice CS Alumni Profile: https://www.cs.rice.edu/jaspal

Dan Grossman

Rice CS Alumnus Dan Grossman is a CS Professor at the University of Washington,

Dan Grossman (B.A. ’97) is a Professor and the Deputy Director of the Paul G Allen School of Computer Science & Engineering at the University of Washington. His primary research area is programming languages, encompassing theory, implementation, and design – but he has collaborated broadly, with applications in computer architecture, software engineering, large-scale data processing, and computational fabrication.

He earned his Ph.D. at Cornell University.

Read his Rice CS Alumni Profile: https://www.cs.rice.edu/dgrossman