Navigate to other Women of SCS pages: CSD | LTI | HCI | RI | ISR

Professor Emma Brunskill

it is relevant to ... numerous other important fields

Artificial Intelligence Machine Learning

I work on decision making under uncertainty, artificial intelligence and machine learning. I think there have been many exciting advances.. autonomous driving cars, Watson, Siri... In my subarea I am particularly excited by the work on learning algorithms for sequential decision making that have stronger performance guarantees. I'd like our vision for what computer science is, and the application areas it covers, to expand much further. Many people outside of computer science still think computer science = programming, whereas it is relevant to marketing, healthcare, computer-assisted education, and numerous other important fields.

Professor Mor Harchol-Balter

designing new resource allocation policies for server farms and distributed systems

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.

Chris Martens

a new methodological framework for designing programming languages

Programming Languages Proof Theory

My research area is programming languages. The history of my field is full of connections to formal logic. In the past ten years, focusing, a technique developed for optimizing proofs in logical calculi, has yielded groundbreaking insights in type theory and logic programming, creating a new methodological framework for designing programming languages. I'm eager to see this work influence the development of theories for interactivity and multiple loci of computation. After I graduate, I want to apply proof theory to tools for interactive creation, e.g. develop programming languages for game design.

Jamie Morgenstern

logic, approximation algorithms, and game theory

Approximation algorithms Randomized algorithms

I am a second-year computer science PhD student at Carnegie Mellon University. My advisers are Avrim Blum and Frank Pfenning. I am generally interesting in theory, specifically logic, approximation algorithms, and game theory. I am supported by an NSF GFRP fellowship, as well as the Microsoft Research Graduate Women's Scholarship. Some of my publications include "How Good Are Optimal Cake Divisions?", "An Algorithm with Additive Error for Near-Perfect Phylogeny Construction", "A Proof-Carrying Filesystem with Revocable and Use-Once Certificates", and "Security-Typed Programming within Dependently-Typed Programming".

Leigh Ann Sudol-DeLyser

strong evidence that one of the newest scientific fields is maturing

Cognitive Psychology Education

I am pursuing a self-defined degree in Computer Science and Cognitive Psychology. I study computer science education, specifically the underlying cognitive processes that lead to robust learning of CS concepts and skills. My thesis focuses on the effect of feedback regarding algorithmic abstractions on student performance when learning to program.

Lin Xiao

file systems emerging to process hundreds of petabyte data

Distributed File Systems

I work on distributed file systems to store big data. I believe SSDs, and perhaps nonvolatile memories, will play an important role in storage systems in the future and there will be new file systems emerging to process hundreds of petabyte data with thousands of machines.

Professor Lenore Blum

computation and complexity over the real numbers

Computational Mathematics Model Theory Differential Fields

Lenore Blum is Distinguished Career Professor of Computer Science at Carnegie Mellon. She is also the Founding Director of Project Olympus, a founder and Faculty Advisor for Women@SCS, and Co-Director of the NSF-ITR seeded ALADDIN Center. Project Olympus is a good example of Blum's creativity and determination to make a real difference in the academic community and the world beyond. Olympus has two main aims: to bridge the gap between cutting-edge university research/innovation and economy-promoting commercialization for the benefit of our communities and to creating a climate, culture and community to enable talent and ideas to grow in the region.

Professor Manuela Veloso

Collaborate, Observe, Reason, Act, and Learn

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, Professor Veloso is a Fellow of the Association for the Advancement of Artificial Intelligence, and the President of the RoboCup Federation.

Professor Nancy Pollard

to create robots that are more capable

Computer Graphics Robotics

My research goal is to understand dexterity. I want to understand how people use their hands (and tools, props, and other parts of their bodies) to manipulate objects in everyday life. I apply what I learn in computer graphics . to create animated characters that can appear more intelligent . and in robotics . to create robots that are more capable.

Danai Koutra

the web became 'intelligent'

Data Mining Machine Learning

My research interests lie in data mining in large graphs and machine learning. For me, probably the most exciting development in this field over the past 10 years is that the web became .intelligent.. I am hoping that in the future, we will see extraction of more and useful information from the data with massive parallel computations, better recommendation systems, accurate machine translation and speech understanding. After I graduate, I am most interested in academia where I can satisfy my appetite for research and teaching.

Nan Li

building intelligent agents for tutoring purposes

Artificial Intelligences Intelligent Tutoring System

My research area includes artificial intelligence and intelligent tutoring system. I am working on building an intelligent agent that models human-like knowledge acquisition for math and science - The most exciting development in this field over the past 10 years would be building intelligent agents for tutoring purposes. Here are two examples: and A learning agent that models human-level knowledge acquisition would be one thing that I am most eager to see for the future of Computer Science. I'd like to continue research either as a faculty or in a research lab.

Sarah Loos

providing cyber-physical systems you can bet your life on

Formal Verification Hybrid Systems

A bug on your windshield doesn't do much damage, but a bug in the software that controls your engine, brakes, or steering is catastrophic. Driver assistance technologies, like adaptive cruise control and automatic braking protocols, have the potential to increase the efficiency of crowded roads, but even more compelling is their capacity for reducing the number of accidents and fatalities resulting from driver-error. Yet, increased dependence on this next generation technology, however promising it may be, is only wise when its reliability has been ensured and regulated. As these technologies gain popularity and increase in complexity, this difficult job gets even tougher.