the computer science department
Download
Skip this Video
Download Presentation
The Computer Science Department

Loading in 2 Seconds...

play fullscreen
1 / 29

The Computer Science Department - PowerPoint PPT Presentation


  • 770 Views
  • Uploaded 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

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
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

The Computer Science Department

Jeannette M. Wing

President’s Professor of Computer Science

Head, Computer Science Department

Fall 2006

computing at carnegie mellon

Fine Arts Design Drama

Social Sciences Psychology Philosophy Statistics

Science Biology Math

Engineering Mechanical Electrical

Business

PublicPolicy

SoftwareEngineeringInstitute

PhD

PhD

MS

PhD

MS

MS

PhD

MS

Robotics Institute (RI)

HumanComputerInteraction Institute (HCII)

Machine LearningDepartment (MLD)

MD/PhD

2 PhD

PhD

2 MS

Institute for Software Engineering, International (ISRI)

MS

LanguagesTechnologies Institute (LTI)

Entertainment Technology Center (ETC)

4 MS

Distance

PhD

Supercomputing

Neural Cognition

Medical

Linguistics

Pitt

Computing at Carnegie Mellon

CMU

School ofComputer Science

BS

ComputerScience Department (CSD)

Jeannette M. Wing

scs numbers at a glance
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
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
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
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
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

csd core cs new emerging areas

New, emerging areas:

  • Human Computation
  • Computational biology
  • Computational astrophysics
  • Nanocomputing
  • Foundations of privacy
  • Computing technology and society

RI

LTI

AI: natural language processing, speech

AI: robotics, vision

HCII

ISRI

Systems: human-computer interfaces

Systems: software engineering

  • AI: machine learning

CALD

CSD = “Core” CS + New, Emerging Areas

CSD

  • 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
Algorithms

Artificial intelligence

Combinatorics

Complexity theory

Computational biology

Computational geometry

Computational neuroscience

Computer architecture

Computer music

Cryptography

Databases

Distributed systems

E-commerce

Entertainment technology

Formal methods

Graphics

Grid computing

Human computation

Human-computer interaction

IT and Society

Machine learning

Mobile computing

Multimedia systems

Nanotechnology

Natural language processing

Networking

Parallel computing

Performance modeling

Pervasive computing

Programming languages

Real-time systems

Security and privacy

Semantics

Sensor networks

Software engineering

Speech and vision

Scientific computing

Storage systems

Robotics

Verification

Systems building/experimental

What We Do

and How We Do It

Jeannette M. Wing

Foundational/theoretical

what we do12
Algorithms

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

Artificial intelligence

Carbonell, Fahlman, Sandholm, Veloso

Combinatorics

Miller

Complexity theory

L. Blum, O’Donnell, Rudich

Computational biology

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

Computational geometry

Miller

Computational neuroscience

T.S. Lee, Lewicki, Mitchell, Touretzky

Computer architecture

Goldstein, Mowry

Computer music

Dannenberg

Cryptography

Rudich

Databases

Ailamaki, Faloutsos, Mowry

Distributed systems

Andersen, Guestrin, O’Hallaron, Satya, Seshan

E-commerce

Sandholm

Entertainment technology

Pausch

Formal methods

Bryant, Clarke, Garlan, Wing

Graphics

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

Satya

Multimedia systems

Christel, Hauptmann, Dannenberg, Ng, Reddy, Wactlar

Nanotechnology

Goldstein

Natural language processing

Carbonell, Fink

Networking

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

Parallel computing

O’Hallaron

Performance modeling

Gibson, Harchol-Balter

Pervasive computing

Satya, Schmerl, Siewiorek, Steenkiste

Programming languages

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

Real-time systems

Dannenberg

Security and privacy

Maxion, Reiter, Tan, Wing, Zhang

Semantics

Brookes, Reynolds, Scott

Sensor networks

Guestrin

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

Robotics

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

Verification

Bryant, Clarke, Wing

What We Do

and Who Does It

Jeannette M. Wing

our research style

Our Research Style

  • Collaborative and Interdisciplinary
  • We build things.
  • We think big.
we cross research styles in csd
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
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
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

Our Leadership in Education

  • PhD Program
  • Undergraduate Program
  • 5th Year Masters Program
undergraduate program
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

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

Our Supportive Culture

  • Reasonable Person Principle
  • Collective Responsibility
  • Presume Success
reasonable person principle
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

Our UnusualOrganizational Structure

  • Expanding Universe Model
  • Lack of Rigid Administrative Boundaries
what to think about in choosing an advisor
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
Resources
  • 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
      • http://www.csd.cs.cmu.edu/research/faculty_research/
    • The Ph.D. Program
      • http://www-2.cs.cmu.edu/csd/phd/phd.html
    • B.S. in Computer Science
      • http://www.csd.cs.cmu.edu/education/bscs/

Jeannette M. Wing

example one captcha

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.

Collaboration

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

External: Udi Manber (Yahoo, now at Amazon)

Interdisciplinary

Theory, AI, Security, Systems

Jeannette M. Wing

example two model checking

counterexample

yes

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

Interdisciplinary

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

Jeannette M. Wing

example three quake
Example Three: Quake

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

Interdisciplinary

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

Jeannette M. Wing

example four robosoccer segways

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

Interdisciplinary

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

Jeannette M. Wing

ad