The Computer Science Department

1. The Computer Science Department Jeannette M. Wing President’s Professor of Computer Science Head, Computer Science Department Fall 2006

2. 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

3. 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

4. CSD: Who We Are

5. 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

6. 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

7. 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

8. 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

9. Our Broad Vision of Our Field

10. 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

11. 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

12. 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

13. Our Research Style • Collaborative and Interdisciplinary • We build things. • We think big.

14. 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

15. 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

16. 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

17. Our Leadership in Education • PhD Program • Undergraduate Program • 5th Year Masters Program

18. 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

19. Our Leadership in Diversity • 33% of our BS degrees in CS go to women. • Twice national average • Women@SCS has broken traditional barriers and transformed the computing culture • Active, energetic, enthusiastic • Men and women, grads and undergrads are all welcome!

20. Our Supportive Culture • Reasonable Person Principle • Collective Responsibility • Presume Success

21. 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

22. Our UnusualOrganizational Structure • Expanding Universe Model • Lack of Rigid Administrative Boundaries

23. 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

24. 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

25. Four Sample Research Projects

26. 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

27. 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

28. 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

29.  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