New
Check out our Chrome extension!
Thanks for downloading our extension!
Now with data from Fall 2024.
Principles/techniques for creating correct, robust, modular programs. Computing with symbolic data, recursion/induction, functional programming, impact of evaluation strategies, parallelism. Organizing data/computations around types. Search-based programming, concurrency, modularity. prereq: (CSci 1913 or CSci 1933) and CSci 2011
View on University Catalog
All Instructors
This total also includes data from semesters with unknown instructors.
F. Favonia
3 terms from Fall 2019 to Spring 2023
Spring 2023
Spring 2021
Fall 2019
Nick Hopper
5 terms from Fall 2017 to Spring 2022
Spring 2022
Summer 2021
Fall 2020
Spring 2019
Fall 2017
James Moen
6 terms from Fall 2019 to Fall 2024
Fall 2024
Spring 2024
Fall 2022
Fall 2021
Sebastiaan Joosten
2 terms from Spring 2023 to Fall 2023
Fall 2023
Eric Van Wyk
8 terms from Spring 2018 to Fall 2024
Spring 2018
Christopher Kauffman
Fall 2018
Gopalan Nadathur
2 terms from Fall 2017 to Spring 2020
Spring 2020
Website/Infrastructure Lead
Backend/Data Lead
Feature Engineering
Gopher Grades is maintained by Social Coding with data from Summer 2017 to Fall 2024 provided by the Office of Institutional Data and Research