2015-2016 2016-2017 2017-2018 2018-2019 2019-2020
Browse
by subject...
    Schedule
view...
 
  Are you a Computer Science Student? Want to make Stanford's systems even better?
Do you want to help improve the Stanford systems that you and your friends use all the time? We are looking for students interested in hacking on ExploreCourses and other upcoming university systems. Click here to learn more!

1 - 10 of 24 results for: CS ; Currently searching summer courses. You can expand your search to include all quarters

CS 103: Mathematical Foundations of Computing

What are the theoretical limits of computing power? What problems can be solved with computers? Which ones cannot? And how can we reason about the answers to these questions with mathematical certainty? This course explores the answers to these questions and serves as an introduction to discrete mathematics, computability theory, and complexity theory. At the completion of the course, students will feel comfortable writing mathematical proofs, reasoning about discrete structures, reading and writing statements in first-order logic, and working with mathematical models of computing devices. Throughout the course, students will gain exposure to some of the most exciting mathematical and philosophical ideas of the late nineteenth and twentieth centuries. Specific topics covered include formal mathematical proofwriting, propositional and first-order logic, set theory, binary relations, functions (injections, surjections, and bijections), cardinality, basic graph theory, the pigeonhole prin more »
What are the theoretical limits of computing power? What problems can be solved with computers? Which ones cannot? And how can we reason about the answers to these questions with mathematical certainty? This course explores the answers to these questions and serves as an introduction to discrete mathematics, computability theory, and complexity theory. At the completion of the course, students will feel comfortable writing mathematical proofs, reasoning about discrete structures, reading and writing statements in first-order logic, and working with mathematical models of computing devices. Throughout the course, students will gain exposure to some of the most exciting mathematical and philosophical ideas of the late nineteenth and twentieth centuries. Specific topics covered include formal mathematical proofwriting, propositional and first-order logic, set theory, binary relations, functions (injections, surjections, and bijections), cardinality, basic graph theory, the pigeonhole principle, mathematical induction, finite automata, regular expressions, the Myhill-Nerode theorem, context-free grammars, Turing machines, decidable and recognizable languages, self-reference and undecidability, verifiers, and the P versus NP question. Students with significant proofwriting experience are encouraged to instead take CS154. Students interested in extra practice and support with the course are encouraged to concurrently enroll in CS103A. Prerequisite: CS106B or equivalent. CS106B may be taken concurrently with CS103.
Terms: Aut, Win, Spr, Sum | Units: 3-5 | UG Reqs: GER:DB-Math, WAY-FR

CS 106A: Programming Methodology

Introduction to the engineering of computer applications emphasizing modern software engineering principles: program design, decomposition, encapsulation, abstraction, and testing. Emphasis is on good programming style and the built-in facilities of respective languages. Uses the Python programming language. No prior programming experience required.
Terms: Aut, Win, Spr, Sum | Units: 3-5 | UG Reqs: GER:DB-EngrAppSci, WAY-FR

CS 106B: Programming Abstractions

Abstraction and its relation to programming. Software engineering principles of data abstraction and modularity. Object-oriented programming, fundamental data structures (such as stacks, queues, sets) and data-directed design. Recursion and recursive data structures (linked lists, trees, graphs). Introduction to time and space complexity analysis. Uses the programming language C++ covering its basic facilities. Prerequisite: 106A or equivalent.
Terms: Aut, Win, Spr, Sum | Units: 3-5 | UG Reqs: GER:DB-EngrAppSci, WAY-FR

CS 109: Introduction to Probability for Computer Scientists

Topics include: counting and combinatorics, random variables, conditional probability, independence, distributions, expectation, point estimation, and limit theorems. Applications of probability in computer science including machine learning and the use of probability in the analysis of algorithms. Prerequisites: 103, 106B or X, multivariate calculus at the level of MATH 51 or CME 100 or equivalent.
Terms: Aut, Win, Spr, Sum | Units: 3-5 | UG Reqs: GER:DB-EngrAppSci, WAY-AQR, WAY-FR

CS 161: Design and Analysis of Algorithms

Worst and average case analysis. Recurrences and asymptotics. Efficient algorithms for sorting, searching, and selection. Data structures: binary search trees, heaps, hash tables. Algorithm design techniques: divide-and-conquer, dynamic programming, greedy algorithms, amortized analysis, randomization. Algorithms for fundamental graph problems: minimum-cost spanning tree, connected components, topological sort, and shortest paths. Possible additional topics: network flow, string searching. Prerequisite: 103 or 103B; 109 or STATS 116.
Terms: Aut, Win, Sum | Units: 3-5 | UG Reqs: GER:DB-EngrAppSci, WAY-FR

CS 191: Senior Project

Restricted to Computer Science students. Group or individual projects under faculty direction. Register using instructor's section number. A project can be either a significant software application or publishable research. Software application projects include substantial programming and modern user-interface technologies and are comparable in scale to shareware programs or commercial applications. Research projects may result in a paper publishable in an academic journal or presentable at a conference. Public presentation of final application or research results is required. Prerequisite: Completion of at least 135 units and consent of instructor. Project proposal form is required before the beginning of the quarter of enrollment: https://cs.stanford.edu/degrees/undergrad/Senior%20Project%20Proposal.pdf
Terms: Aut, Win, Spr, Sum | Units: 1-6 | Repeatable for credit
Instructors: Agrawala, M. (PI) ; Ahmadipouranari, N. (PI) ; Aiken, A. (PI) ; Altman, R. (PI) ; Angst, R. (PI) ; Bailis, P. (PI) ; Barrett, C. (PI) ; Batzoglou, S. (PI) ; Bejerano, G. (PI) ; Bernstein, M. (PI) ; Blikstein, P. (PI) ; Bohg, J. (PI) ; Boneh, D. (PI) ; Borenstein, J. (PI) ; Boyd, S. (PI) ; Brunskill, E. (PI) ; Cain, J. (PI) ; Cao, P. (PI) ; Chang, M. (PI) ; Charikar, M. (PI) ; Cheriton, D. (PI) ; Dally, B. (PI) ; Dill, D. (PI) ; Dror, R. (PI) ; Duchi, J. (PI) ; Durumeric, Z. (PI) ; Engler, D. (PI) ; Ermon, S. (PI) ; Fatahalian, K. (PI) ; Fedkiw, R. (PI) ; Feigenbaum, E. (PI) ; Fikes, R. (PI) ; Finn, C. (PI) ; Fisher, K. (PI) ; Follmer, S. (PI) ; Fox, A. (PI) ; Fox, J. (PI) ; Ganguli, S. (PI) ; Garcia-Molina, H. (PI) ; Genesereth, M. (PI) ; Gill, J. (PI) ; Girod, B. (PI) ; Goel, A. (PI) ; Goel, S. (PI) ; Goodman, N. (PI) ; Gregg, C. (PI) ; Guibas, L. (PI) ; Hanrahan, P. (PI) ; Hayden, P. (PI) ; Hennessy, J. (PI) ; Horowitz, M. (PI) ; Icard, T. (PI) ; James, D. (PI) ; Johari, R. (PI) ; Jurafsky, D. (PI) ; Katti, S. (PI) ; Kay, M. (PI) ; Khatib, O. (PI) ; Kjoelstad, F. (PI) ; Kochenderfer, M. (PI) ; Koller, D. (PI) ; Kozyrakis, C. (PI) ; Kundaje, A. (PI) ; Lam, M. (PI) ; Landay, J. (PI) ; Latombe, J. (PI) ; Lee, C. (PI) ; Leskovec, J. (PI) ; Levis, P. (PI) ; Levitt, M. (PI) ; Levoy, M. (PI) ; Li, F. (PI) ; Liang, P. (PI) ; Liu, K. (PI) ; Ma, T. (PI) ; Manning, C. (PI) ; Mazieres, D. (PI) ; McCarthy, J. (PI) ; McKeown, N. (PI) ; Mitchell, J. (PI) ; Mitra, S. (PI) ; Montanari, A. (PI) ; Montgomery, S. (PI) ; Musen, M. (PI) ; Nayak, P. (PI) ; Ng, A. (PI) ; Niebles Duque, J. (PI) ; Okamura, A. (PI) ; Olukotun, O. (PI) ; Ousterhout, J. (PI) ; Paepcke, A. (PI) ; Pande, V. (PI) ; Parlante, N. (PI) ; Patrignani, M. (PI) ; Pavone, M. (PI) ; Pea, R. (PI) ; Piech, C. (PI) ; Plotkin, S. (PI) ; Plummer, R. (PI) ; Poldrack, R. (PI) ; Potts, C. (PI) ; Prabhakar, B. (PI) ; Pratt, V. (PI) ; Raghavan, P. (PI) ; Rajaraman, A. (PI) ; Re, C. (PI) ; Reingold, O. (PI) ; Roberts, E. (PI) ; Rosenblum, M. (PI) ; Roughgarden, T. (PI) ; Rubin, D. (PI) ; Rubinstein, A. (PI) ; Sadigh, D. (PI) ; Sahami, M. (PI) ; Salisbury, J. (PI) ; Savarese, S. (PI) ; Saxena, A. (PI) ; Schwarz, K. (PI) ; Shoham, Y. (PI) ; Sidford, A. (PI) ; Sosic, R. (PI) ; Stanford, J. (PI) ; Tan, L. (PI) ; Thrun, S. (PI) ; Tobagi, F. (PI) ; Troccoli, N. (PI) ; Ullman, J. (PI) ; Utterback, C. (PI) ; Valiant, G. (PI) ; Van Roy, B. (PI) ; Wang, G. (PI) ; Wetzstein, G. (PI) ; Widom, J. (PI) ; Wiederhold, G. (PI) ; Winograd, T. (PI) ; Winstein, K. (PI) ; Wodtke, C. (PI) ; Wootters, M. (PI) ; Wu, J. (PI) ; Yamins, D. (PI) ; Yan, L. (PI) ; Yeung, S. (PI) ; Young, P. (PI) ; Zaharia, M. (PI) ; Zelenski, J. (PI) ; Zou, J. (PI)

CS 192: Programming Service Project

Restricted to Computer Science students. Appropriate academic credit (without financial support) is given for volunteer computer programming work of public benefit and educational value. Register using the section number associated with the instructor. Prerequisite: consent of instructor.
Terms: Aut, Win, Spr, Sum | Units: 1-4 | Repeatable for credit
Instructors: Agrawala, M. (PI) ; Ahmadipouranari, N. (PI) ; Aiken, A. (PI) ; Altman, R. (PI) ; Bailis, P. (PI) ; Barrett, C. (PI) ; Batzoglou, S. (PI) ; Bejerano, G. (PI) ; Bernstein, M. (PI) ; Bohg, J. (PI) ; Boneh, D. (PI) ; Borenstein, J. (PI) ; Boyd, S. (PI) ; Brunskill, E. (PI) ; Cain, J. (PI) ; Cao, P. (PI) ; Chang, M. (PI) ; Charikar, M. (PI) ; Cheriton, D. (PI) ; Dally, B. (PI) ; Dill, D. (PI) ; Dror, R. (PI) ; Duchi, J. (PI) ; Durumeric, Z. (PI) ; Engler, D. (PI) ; Ermon, S. (PI) ; Fatahalian, K. (PI) ; Fedkiw, R. (PI) ; Feigenbaum, E. (PI) ; Fikes, R. (PI) ; Finn, C. (PI) ; Fisher, K. (PI) ; Follmer, S. (PI) ; Fox, A. (PI) ; Fox, J. (PI) ; Ganguli, S. (PI) ; Garcia-Molina, H. (PI) ; Genesereth, M. (PI) ; Gill, J. (PI) ; Girod, B. (PI) ; Goel, A. (PI) ; Goel, S. (PI) ; Goodman, N. (PI) ; Gregg, C. (PI) ; Guibas, L. (PI) ; Hanrahan, P. (PI) ; Hayden, P. (PI) ; Hennessy, J. (PI) ; Horowitz, M. (PI) ; Icard, T. (PI) ; James, D. (PI) ; Johari, R. (PI) ; Jurafsky, D. (PI) ; Katti, S. (PI) ; Kay, M. (PI) ; Khatib, O. (PI) ; Kjoelstad, F. (PI) ; Kochenderfer, M. (PI) ; Koller, D. (PI) ; Kozyrakis, C. (PI) ; Kundaje, A. (PI) ; Lam, M. (PI) ; Landay, J. (PI) ; Latombe, J. (PI) ; Lee, C. (PI) ; Leskovec, J. (PI) ; Levis, P. (PI) ; Levitt, M. (PI) ; Levoy, M. (PI) ; Li, F. (PI) ; Liang, P. (PI) ; Liu, K. (PI) ; Ma, T. (PI) ; Manning, C. (PI) ; Mazieres, D. (PI) ; McCarthy, J. (PI) ; McKeown, N. (PI) ; Mitchell, J. (PI) ; Mitra, S. (PI) ; Montgomery, S. (PI) ; Musen, M. (PI) ; Nayak, P. (PI) ; Ng, A. (PI) ; Okamura, A. (PI) ; Olukotun, O. (PI) ; Ousterhout, J. (PI) ; Parlante, N. (PI) ; Pavone, M. (PI) ; Pea, R. (PI) ; Piech, C. (PI) ; Plotkin, S. (PI) ; Plummer, R. (PI) ; Poldrack, R. (PI) ; Potts, C. (PI) ; Prabhakar, B. (PI) ; Pratt, V. (PI) ; Raghavan, P. (PI) ; Rajaraman, A. (PI) ; Re, C. (PI) ; Reingold, O. (PI) ; Roberts, E. (PI) ; Rosenblum, M. (PI) ; Roughgarden, T. (PI) ; Rubin, D. (PI) ; Rubinstein, A. (PI) ; Sadigh, D. (PI) ; Sahami, M. (PI) ; Salisbury, J. (PI) ; Savarese, S. (PI) ; Schwarz, K. (PI) ; Shoham, Y. (PI) ; Sidford, A. (PI) ; Stanford, J. (PI) ; Tan, L. (PI) ; Thrun, S. (PI) ; Tobagi, F. (PI) ; Troccoli, N. (PI) ; Ullman, J. (PI) ; Utterback, C. (PI) ; Valiant, G. (PI) ; Van Roy, B. (PI) ; Wang, G. (PI) ; Wetzstein, G. (PI) ; Widom, J. (PI) ; Wiederhold, G. (PI) ; Winograd, T. (PI) ; Winstein, K. (PI) ; Wodtke, C. (PI) ; Wootters, M. (PI) ; Wu, J. (PI) ; Yamins, D. (PI) ; Yan, L. (PI) ; Yeung, S. (PI) ; Young, P. (PI) ; Zaharia, M. (PI) ; Zelenski, J. (PI) ; Zou, J. (PI)

CS 193C: Client-Side Internet Technologies

Terms: Sum | Units: 3
Instructors: Young, P. (PI)

CS 195: Supervised Undergraduate Research

Directed research under faculty supervision. Register using instructor's section number. Students are required to submit a written report and give a public presentation on their work. Prerequisite: consent of instructor.
Terms: Aut, Win, Spr, Sum | Units: 3-4 | Repeatable for credit
Instructors: Agrawala, M. (PI) ; Ahmadipouranari, N. (PI) ; Aiken, A. (PI) ; Altman, R. (PI) ; Bailis, P. (PI) ; Barrett, C. (PI) ; Bejerano, G. (PI) ; Bernstein, M. (PI) ; Bohg, J. (PI) ; Boneh, D. (PI) ; Borenstein, J. (PI) ; Brunskill, E. (PI) ; Cain, J. (PI) ; Chang, M. (PI) ; Charikar, M. (PI) ; Dally, B. (PI) ; Dror, R. (PI) ; Duchi, J. (PI) ; Durumeric, Z. (PI) ; Engler, D. (PI) ; Ermon, S. (PI) ; Fatahalian, K. (PI) ; Fedkiw, R. (PI) ; Finn, C. (PI) ; Follmer, S. (PI) ; Fox, J. (PI) ; Ganguli, S. (PI) ; Genesereth, M. (PI) ; Goel, A. (PI) ; Goel, S. (PI) ; Goodman, N. (PI) ; Gregg, C. (PI) ; Guibas, L. (PI) ; Hanrahan, P. (PI) ; Hayden, P. (PI) ; Hennessy, J. (PI) ; Horowitz, M. (PI) ; Icard, T. (PI) ; James, D. (PI) ; Johari, R. (PI) ; Jurafsky, D. (PI) ; Katti, S. (PI) ; Khatib, O. (PI) ; Kjoelstad, F. (PI) ; Kochenderfer, M. (PI) ; Kozyrakis, C. (PI) ; Kundaje, A. (PI) ; Lam, M. (PI) ; Landay, J. (PI) ; Lee, C. (PI) ; Leskovec, J. (PI) ; Levis, P. (PI) ; Levitt, M. (PI) ; Li, F. (PI) ; Liang, P. (PI) ; Liu, K. (PI) ; Ma, T. (PI) ; Manning, C. (PI) ; Mazieres, D. (PI) ; McKeown, N. (PI) ; Mitchell, J. (PI) ; Mitra, S. (PI) ; Montgomery, S. (PI) ; Ng, A. (PI) ; Niebles Duque, J. (PI) ; Okamura, A. (PI) ; Olukotun, O. (PI) ; Ousterhout, J. (PI) ; Parlante, N. (PI) ; Pavone, M. (PI) ; Pea, R. (PI) ; Piech, C. (PI) ; Poldrack, R. (PI) ; Potts, C. (PI) ; Prabhakar, B. (PI) ; Re, C. (PI) ; Reingold, O. (PI) ; Rosenblum, M. (PI) ; Rubin, D. (PI) ; Rubinstein, A. (PI) ; Sadigh, D. (PI) ; Sahami, M. (PI) ; Savarese, S. (PI) ; Schwarz, K. (PI) ; Sidford, A. (PI) ; Stanford, J. (PI) ; Tan, L. (PI) ; Troccoli, N. (PI) ; Utterback, C. (PI) ; Valiant, G. (PI) ; Wang, G. (PI) ; Wetzstein, G. (PI) ; Widom, J. (PI) ; Winstein, K. (PI) ; Wodtke, C. (PI) ; Wootters, M. (PI) ; Wu, J. (PI) ; Yamins, D. (PI) ; Yan, L. (PI) ; Yeung, S. (PI) ; Young, P. (PI) ; Zaharia, M. (PI) ; Zelenski, J. (PI) ; Zou, J. (PI)

CS 199: Independent Work

Terms: Aut, Win, Spr, Sum | Units: 1-6 | Repeatable for credit
Instructors: Agrawala, M. (PI) ; Ahmadipouranari, N. (PI) ; Aiken, A. (PI) ; Altman, R. (PI) ; Bailis, P. (PI) ; Barrett, C. (PI) ; Batzoglou, S. (PI) ; Bejerano, G. (PI) ; Bernstein, M. (PI) ; Blikstein, P. (PI) ; Bohg, J. (PI) ; Boneh, D. (PI) ; Borenstein, J. (PI) ; Boyd, S. (PI) ; Brunskill, E. (PI) ; Cain, J. (PI) ; Cao, P. (PI) ; Chang, M. (PI) ; Charikar, M. (PI) ; Cheriton, D. (PI) ; Dally, B. (PI) ; Dill, D. (PI) ; Dror, R. (PI) ; Duchi, J. (PI) ; Durumeric, Z. (PI) ; Engler, D. (PI) ; Ermon, S. (PI) ; Fatahalian, K. (PI) ; Fedkiw, R. (PI) ; Feigenbaum, E. (PI) ; Fikes, R. (PI) ; Finn, C. (PI) ; Fisher, K. (PI) ; Follmer, S. (PI) ; Fox, A. (PI) ; Fox, J. (PI) ; Ganguli, S. (PI) ; Garcia-Molina, H. (PI) ; Genesereth, M. (PI) ; Gill, J. (PI) ; Girod, B. (PI) ; Goel, A. (PI) ; Goel, S. (PI) ; Goodman, N. (PI) ; Gregg, C. (PI) ; Grimes, A. (PI) ; Guibas, L. (PI) ; Hanrahan, P. (PI) ; Hayden, P. (PI) ; Hennessy, J. (PI) ; Horowitz, M. (PI) ; Icard, T. (PI) ; James, D. (PI) ; Johari, R. (PI) ; Jurafsky, D. (PI) ; Katti, S. (PI) ; Kay, M. (PI) ; Khatib, O. (PI) ; Kjoelstad, F. (PI) ; Kochenderfer, M. (PI) ; Koller, D. (PI) ; Kozyrakis, C. (PI) ; Kundaje, A. (PI) ; Lam, M. (PI) ; Landay, J. (PI) ; Latombe, J. (PI) ; Lee, C. (PI) ; Leskovec, J. (PI) ; Levis, P. (PI) ; Levitt, M. (PI) ; Levoy, M. (PI) ; Li, F. (PI) ; Liang, P. (PI) ; Lin, H. (PI) ; Liu, K. (PI) ; Ma, T. (PI) ; Manning, C. (PI) ; Mazieres, D. (PI) ; McCarthy, J. (PI) ; McKeown, N. (PI) ; Mitchell, J. (PI) ; Mitra, S. (PI) ; Montgomery, S. (PI) ; Musen, M. (PI) ; Nayak, P. (PI) ; Ng, A. (PI) ; Niebles Duque, J. (PI) ; Okamura, A. (PI) ; Olukotun, O. (PI) ; Ousterhout, J. (PI) ; Paepcke, A. (PI) ; Pande, V. (PI) ; Parlante, N. (PI) ; Patrignani, M. (PI) ; Pavone, M. (PI) ; Pea, R. (PI) ; Piech, C. (PI) ; Plotkin, S. (PI) ; Plummer, R. (PI) ; Poldrack, R. (PI) ; Potts, C. (PI) ; Prabhakar, B. (PI) ; Pratt, V. (PI) ; Raghavan, P. (PI) ; Rajaraman, A. (PI) ; Re, C. (PI) ; Reingold, O. (PI) ; Roberts, E. (PI) ; Rosenblum, M. (PI) ; Roughgarden, T. (PI) ; Rubin, D. (PI) ; Rubinstein, A. (PI) ; Sadigh, D. (PI) ; Sahami, M. (PI) ; Salisbury, J. (PI) ; Savarese, S. (PI) ; Saxena, A. (PI) ; Schwarz, K. (PI) ; Shoham, Y. (PI) ; Sidford, A. (PI) ; Stanford, J. (PI) ; Tan, L. (PI) ; Thrun, S. (PI) ; Tobagi, F. (PI) ; Troccoli, N. (PI) ; Ullman, J. (PI) ; Utterback, C. (PI) ; Valiant, G. (PI) ; Van Roy, B. (PI) ; Wetzstein, G. (PI) ; Widom, J. (PI) ; Wiederhold, G. (PI) ; Winograd, T. (PI) ; Winstein, K. (PI) ; Wodtke, C. (PI) ; Wootters, M. (PI) ; Wu, J. (PI) ; Yamins, D. (PI) ; Yan, L. (PI) ; Yeung, S. (PI) ; Young, P. (PI) ; Zaharia, M. (PI) ; Zelenski, J. (PI) ; Zou, J. (PI)