Women of CSD

Below are some of the astounding faculty and graduate students of the SCS Computer Science Department!


Professor Mor Harchol-Balter

Mor Harchol-Balter

Systems Implementation, Queueing Analysis

Mor Harchol-Balter is the Associate Department Head of Computer Science at Carnegie Mellon University. She received her doctorate from the Computer Science department at the University of California at Berkeley under the direction of Manuel Blum. She is a recipient of the McCandless Chair, the NSF CAREER award, the NSF Postdoctoral Fellowship in the Mathematical Sciences, multiple best paper awards, and several teaching awards, including the Herbert A. Simon Award for Teaching Excellence.

We conducted an interview with Professor Harchol-Balter, which you can read here!

Professor Manuela Veloso

Manuela Veloso

Robotics, Artificial Intelligence

Manuela M. Veloso is Herbert A. Simon Professor of Computer Science at Carnegie Mellon University. She directs the CORAL research laboratory, for the study of robots that Collaborate, Observe, Reason, Act, and Learn, www.cs.cmu.edu/~coral. Professor Veloso is a Fellow of the Association for the Advancement of Artificial Intelligence, and the President of the RoboCup Federation.

We've conducted an interview with Professor Veloso, which you can read here!

Professor Nancy Pollard

Nancy Pollard

Computer graphics, Robotics

Nancy Pollard's research goal is to understand dexterity. She wants to understand how people use their hands (and tools, props, and other parts of their bodies) to manipulate objects in everyday life. She applies what she learns in computer graphics to create animated characters that can appear more intelligent, and in robotics to create robots that are more capable.

Graduate Students

Graduate student Katherine Cordwell

Katherine Cordwell

Katherine Cordwell is a Ph.D. student in CSD advised by AndrĂ© Platzer.  She is especially interested in topics at the intersection of math and computer science, such as real arithmetic.  Her research focuses on the formal verification of cyber-physical systems (like self-driving cars).