The computer science department
1 / 29

The Computer Science Department - PowerPoint PPT Presentation

  • Updated On :

The Computer Science Department Jeannette M. Wing President’s Professor of Computer Science Head, Computer Science Department Fall 2006 Fine Arts Design Drama Social Sciences Psychology Philosophy Statistics Science Biology Math

I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
Download Presentation

PowerPoint Slideshow about 'The Computer Science Department' - Sophia

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
The computer science department l.jpg

The Computer Science Department

Jeannette M. Wing

President’s Professor of Computer Science

Head, Computer Science Department

Fall 2006

Computing at carnegie mellon l.jpg

Fine Arts Design Drama

Social Sciences Psychology Philosophy Statistics

Science Biology Math

Engineering Mechanical Electrical












Robotics Institute (RI)

HumanComputerInteraction Institute (HCII)

Machine LearningDepartment (MLD)


2 PhD


2 MS

Institute for Software Engineering, International (ISRI)


LanguagesTechnologies Institute (LTI)

Entertainment Technology Center (ETC)

4 MS




Neural Cognition




Computing at Carnegie Mellon


School ofComputer Science


ComputerScience Department (CSD)

Jeannette M. Wing

Scs numbers at a glance l.jpg
SCS Numbers at a Glance

  • 215 faculty

  • 213 courses on the books

  • 540bachelors students

    • including a handful of HCI double majors

  • 235 masters students across 11 programs

  • 400 doctoral students across 9 programs

Jeannette M. Wing

A single guiding principle l.jpg
A Single Guiding Principle

  • To provide the best research and teaching environment possible for our faculty, students, and staff.

    • All else follows from this principle:

  • Being leaders in research

    • Getting the best faculty- Getting the best students for the faculty- Getting funding for our research- Promoting our faculty, students, and staff

  • Being leaders in education

    • Getting the best undergrads to come

    • Keeping curricula and courses fresh

    • Keeping our faculty and undergrads engaged

  • Providing the best possible computing infrastructure for our needs

- Enhancing external visibility

- Making faculty, students, and staff happy

Jeannette M. Wing

A glimpse at the 41 year history of csd l.jpg
A Glimpse at the 41-Year History of CSD

  • 1965: CSD founded by HerbSimon, AllenNewell, and Al Perlis, who is first Department Head (1965-71).

  • 1965: First Ph.D. from CSD awarded

  • 1971-78; 78-79; 79-83; 83-85; 85-92: Joe Traub is Head; Bill Wulf, Acting Head; Nico Habermann, Head; John McDermott, Acting Head; Nico Habermann, Head.

  • 1986: CSD is “floating department” in CMU, Nico Habermann is Head.

  • 1988: SCS is created, Nico Habermann is Dean and Head.

  • 1992: First Math/CS undergraduate degree awarded.

  • 1992-1999: Jim Morris is Head; now Dean of West Coast Campus.

  • 1994: Start of CS undergraduate program

  • 1998: First B.S. in Computer Science awarded

  • 1999-2004: Randy Bryant is Head; now Dean of SCS.

  • 2004- : Jeannette Wing is Head.

Since 1965, we have awarded 493 Ph.D. degrees in Computer Science.

Since 1998, we have awarded 1301 B.S. degrees in Computer Science.

Jeannette M. Wing

How many are we l.jpg
How Many Are We?

  • Faculty

    • 87 faculty

      • 55 tenure-track, 6 research, 12 systems, 14 teaching

    • 7 post-docs, 16 visitors, 12 courtesy, 22 adjunct, 2 emeriti, 2 distinguished career

  • Students

    • 177 Ph.D. students

    • 7 Fifth Year Masters students

    • 535 undergraduates

  • Staff (cs-support and cs-technical)

    • 29 administrative support

    • 36 technical support

Jeannette M. Wing

What distinguishes computer science at carnegie mellon l.jpg
What Distinguishes Computer Science at Carnegie Mellon

  • Vision

  • Research quality and style

  • Leadership in education

  • Success at diversity

  • Supportive culture

  • Organizational structure

Jeannette M. Wing

Our broad vision of our field l.jpg

Our Broad Vision of Our Field

Csd core cs new emerging areas l.jpg

  • New, emerging areas:

  • Human Computation

  • Computational biology

  • Computational astrophysics

  • Nanocomputing

  • Foundations of privacy

  • Computing technology and society



AI: natural language processing, speech

AI: robotics, vision



Systems: human-computer interfaces

Systems: software engineering

  • AI: machine learning


CSD = “Core” CS + New, Emerging Areas


  • New, emerging areas in Theory:

  • game theory

Theory: algorithms, complexity, semantics

Systems (hardware & software): processor architecture, O/S, distributed systems, networking, databases, performance modeling, graphics, programming languages, formal methods

AI: planning, learning, search, cognition, computational neuroscience

  • New, emerging areas in Systems:

  • pervasive computing

  • trustworthy computing

  • post-Moore’s Law computers

  • New, emerging areas in AI:

  • computer games

Jeannette M. Wing

What we do l.jpg


Artificial intelligence


Complexity theory

Computational biology

Computational geometry

Computational neuroscience

Computer architecture

Computer music



Distributed systems


Entertainment technology

Formal methods


Grid computing

Human computation

Human-computer interaction

IT and Society

Machine learning

Mobile computing

Multimedia systems


Natural language processing


Parallel computing

Performance modeling

Pervasive computing

Programming languages

Real-time systems

Security and privacy


Sensor networks

Software engineering

Speech and vision

Scientific computing

Storage systems



Systems building/experimental

What We Do

and How We Do It

Jeannette M. Wing


What we do12 l.jpg


Blelloch, A. Blum, M. Blum, L. Blum, Gupta, Harchol-Balter, Maggs, Miller, Sleator

Artificial intelligence

Carbonell, Fahlman, Sandholm, Veloso



Complexity theory

L. Blum, O’Donnell, Rudich

Computational biology

Bar-Joseph, Carbonell, Durand, Erdmann, Langmead, Schwartz

Computational geometry


Computational neuroscience

T.S. Lee, Lewicki, Mitchell, Touretzky

Computer architecture

Goldstein, Mowry

Computer music





Ailamaki, Faloutsos, Mowry

Distributed systems

Andersen, Guestrin, O’Hallaron, Satya, Seshan



Entertainment technology


Formal methods

Bryant, Clarke, Garlan, Wing


Efros, Hodgins, Pollard

Grid computing

Crary, Harper, P. Lee

Human computation

Luis von Ahn

Human-computer interaction

Pausch, Siewiorek

IT and Society

Mertz, Reddy, Veloso, Wactlar

Machine learning

Bar-Joseph, A. Blum, Guestrin, Lafferty, Mitchell, Moore

Mobile computing


Multimedia systems

Christel, Hauptmann, Dannenberg, Ng, Reddy, Wactlar



Natural language processing

Carbonell, Fink


Andersen, Harchol-Balter, Maggs, Seshan, Steenkiste, Zhang

Parallel computing


Performance modeling

Gibson, Harchol-Balter

Pervasive computing

Satya, Schmerl, Siewiorek, Steenkiste

Programming languages

Brookes, Harper, P. Lee, Pfenning, Reynolds, Scott

Real-time systems


Security and privacy

Maxion, Reiter, Tan, Wing, Zhang


Brookes, Reynolds, Scott

Sensor networks


Software engineering

Garlan, Shaw, Wing

Speech and vision

Efros, Kanade, Ke, McKeown, Reddy, Rudnicky

Scientific computing

Ailamaki, Miller, O’Hallaron

Storage systems

Ailamaki, Gibson, Mowry


Erdmann, Kanade, Mason, Pollard, Reddy, Simmons, Veloso


Bryant, Clarke, Wing

What We Do

and Who Does It

Jeannette M. Wing

Our research style l.jpg

Our Research Style

  • Collaborative and Interdisciplinary

  • We build things.

  • We think big.

We cross research styles in csd l.jpg
We Cross Research Styles in CSD

  • Foundational, theoretical

    • Formulate underlying principles

    • Create mathematical basis

    • The principle and its applicability is the end product

  • Systems building, experimental

    • Construct medium to large scale systems

    • Evaluate and measure

    • The artifact is the end product

  • Artificial intelligence

    • Attempt to mimic human thought process

    • Display of intelligence is the end product

Jeannette M. Wing

Collaboration how we encourage it l.jpg
Collaboration: How We Encourage It

  • Mixing office space: among student/faculty and among disciplines

  • ~25% of students have joint advisors

  • Advising by faculty from other parts of university

    • Rest of SCS

    • Electrical and Computer Engineering, Biology, …

  • Hiring

    • Whom might this person work with?

  • Attitudes

    • Willingness to share credit with others

    • Respect for ideas of others

Jeannette M. Wing

Interdisciplinary work l.jpg
Interdisciplinary Work

  • Value

    • Push frontiers by seeking new problems and finding new approaches to old problems

  • Traditional strength for all of Carnegie Mellon

    • History of expanding boundaries of computer science through interdisciplinary collaboration

      • robotics, psychology, language technology, data mining, …

    • Environment where people with different backgrounds work together

Jeannette M. Wing

Our leadership in education l.jpg

Our Leadership in Education

  • PhD Program

  • Undergraduate Program

  • 5th Year Masters Program

Undergraduate program l.jpg
Undergraduate Program

  • Excellent students

  • Challenging and unique curriculum

  • Devoted faculty

    • University advising awards (Roberts and Stehlik)

    • University teaching award (Rudich)

  • Active, energetic, and enthusiastic faculty and students

Jeannette M. Wing

Our leadership in diversity l.jpg

Our Leadership in Diversity

  • 33% of our BS degrees in CS go to women.

    • Twice national average

  • [email protected] has broken traditional barriers and transformed the computing culture

    • Active, energetic, enthusiastic

    • Men and women, grads and undergrads are all welcome!

Our supportive culture l.jpg

Our Supportive Culture

  • Reasonable Person Principle

  • Collective Responsibility

  • Presume Success

Reasonable person principle l.jpg
Reasonable Person Principle

  • Assume that others around you are competent and reasonable

    • Smart

    • Ethical

    • Concerned for welfare of others and of organization

  • You are obligated to be reasonable as well

  • Implies a high level of mutual trust and supportbeyond the base assumption

Jeannette M. Wing

Our unusual organizational structure l.jpg

Our UnusualOrganizational Structure

  • Expanding Universe Model

  • Lack of Rigid Administrative Boundaries

What to think about in choosing an advisor l.jpg
What To Think About in Choosing an Advisor

  • Research interests/emphasis

    • Motivation, e.g., understand human intelligence, build more reliable software, bridge the IT gap, organize the world’s information (Google)

    • Problem (“nail”), e.g., determine function from protein structure, score goal by robosoccer team, detect computer viruses, render human motion

    • Solution (“hammer”), e.g., algorithms, machine learning, model checking, type theory

  • Research style

    • Math, science, engineering, implementation

    • 1-1, group, team, cross-discipline, cross-style

  • Personality

Jeannette M. Wing

Resources l.jpg

  • People

    • Jeannette Wing, Department Head

    • Sharon Burks, Associate Department Head and Assistant Dean for Academic Affairs

    • Frank Pfenning, Director of Ph.D. Program in Computer Science

    • Klaus Sutner, Associate Dean for Undergraduate Program

    • Randy Bryant, Dean of School of Computer Science

  • Documents and weblinks

    • CSD Faculty Research Guide


    • The Ph.D. Program


    • B.S. in Computer Science


Jeannette M. Wing

Example one captcha l.jpg

Completely Automated Public Turing Test To Tell Computers and Humans Apart Automatically

Example One: CAPTCHA

A CAPTCHA is a program that can generate and grade tests thatmost humans can pass but a computer program can’t.

Yahoo, Hotmail, PayPal, etc. all use CAPTCHAs

Secret Weapon: Using hard AI problems, e.g., image understanding, to solve a theory problem, e.g., authentication.


Students: Luis von Ahn, Nicholas Hopper and John LangfordFaculty: Manuel Blum

External: Udi Manber (Yahoo, now at Amazon)


Theory, AI, Security, Systems

Jeannette M. Wing

Example two model checking l.jpg

counterexample and Humans Apart Automatically


Example Two: Model Checking

Finite State Machine model

Temporal logic specification

“No Deadlock”

Model Checker

  • Collaboration

  • Faculty Ed Clarke (and Al Emerson): Model Checking Randy Bryant: Binary Decision Diagrams

  • CMU Ph.D. StudentKen McMillan: Putting the two together

  • 1998 ACM Kanellakis Theory and Practice Award


Logic, Automata Theory, Verification, Concurrency, Data Structures, Hardware, Formal Methods, Systems

Jeannette M. Wing

Example three quake l.jpg
Example Three: Quake and Humans Apart Automatically

Surface map of 1994 Northridge, California earthquake

3D animation of aftershock

The Triangle Program, part of the Archimedes toolkit, is two-dimensional triangular mesh generator for finite element simulations.

  • Collaboration

  • Faculty CSD: Gary Miller, David O’Hallaron, Thomas Gross Civil Eng: Jason Bielak, Omar Ghattas

  • CSD Ph.D. StudentJonathan Shewchuk1997 co-winner ACM Dissertation Award

  • 1998 SCS Allen Newell Award for Research Excellence


Algorithms, Data Structures, Parallel Computing, Scientific Computing, Compilers, Systems, Finite Element Analysis

Jeannette M. Wing

Example four robosoccer segways l.jpg

and Humans Apart Automatically

Two humans and two Segway Robotic Mobility Platforms (RMP)

Example Four: Robosoccer  Segways

  • Collaboration

  • Faculty CSD: Manuela Veloso, RI: Brett Browning

  • 2 postdocs, 13 grad students, 10 undergrads, 15 past contributers (now faculty or grad students elsewhere)

  • RoboCup 1997-2004 champions, American Open 2003 champions

  • 1997 and 1998 SCS Allen Newell Award for Research Excellence


Planning, execution, learning, vision, robotics, systems, multi-agent coordination, human-computer interaction

Jeannette M. Wing