Graduate Programs

Spring Term Schedule

Spring 2027

Number	Title	Instructor	Time
CSC 402-01 Network Science Analytics Gonzalo Mateos Buckstein MW 3:25PM - 4:40PM
The science of networks is an emerging discipline of great importance that combines graph theory, probability and statistics, and facets of engineering and the social sciences. This course will provide students with the mathematical tools and computational training to understand large-scale networks in the current era of Big Data. It will introduce basic network models and structural descriptors, network dynamics and prediction of processes evolving on graphs, modern algorithms for topology inference, community and anomaly detection, as well as fundamentals of social network analysis. All concepts and theories will be illustrated with numerous applications and case studies from technological, social, biological, and information networks. Location (MW 3:25PM - 4:40PM)
CSC 409-01 Artificial General Intelligence Christopher Kanan MW 2:00PM - 3:15PM
Many companies are working towards creating artificial general intelligence (AGI), i.e., systems capable of accomplishing any human intellectual task, and multiple companies aspire to create such systems within the next decade. WHile large language models (LLMs) do not yet have these capabilities, they exhibit "sparks" of AGI. In this course we review the concept of AGI and how we might assess a system to understand if it is an AGI. We will study the gaps in state-of-the-art systems and what would be needed for a system to be considered an AGI. We will also study AI ethics and safety, the socioeconomic implications of AGI, the likelihood of an intelligence explosion (i.e., the singularity), and existential risk due to AGI. Coursework includes readings, student presentations, and a project. Location (MW 2:00PM - 3:15PM)
CSC 412-01 Human Computer Interaction Yukang Yan TR 12:30PM - 1:45PM
This course will explore the design, implementation, and evaluation of user interfaces. Students will study the theoretical methods for interface design and evaluation, including requirements gathering, usability heuristics, user interface inspections, usability studies, information visualization, and prototyping. Case studies of interface successes and failures will augment theory with practical experiences. Students will apply this methodology to assignments in the design, implementation, and evaluation cycle. Students taking this course at the graduate level will have additional readings and assignments. Location (TR 12:30PM - 1:45PM)
CSC 415-01 Human-AI Collaboration Studio Yukang Yan TR 3:25PM - 4:40PM
This project-based course introduces students to the principles and practice of human–AI collaboration through the design and development of interactive AI-powered applications. Students will explore how AI can augment human creativity, productivity, wellbeing, and smart living while learning to build systems that are transparent, trustworthy, and human-centered. Through hands-on projects, students will prototype AI-assisted applications, evaluate user experiences, and iteratively refine their designs using modern generative AI tools and human-centered design methods. Location (TR 3:25PM - 4:40PM)
CSC 416-01 AR/VR Interaction Design Zhen Bai MW 3:25PM - 4:40PM
Human activity is embodied through all our sensorimotor capacities, immersed in our immediate physical and social surroundings. Augmented Reality (AR) and Virtual Reality (VR) technologies have shown vast potential to extend our sensorimotor and social experiences in 3D space. This undergraduate/graduate course aims to help students to develop understanding of key AR/VR concepts, principles, technologies, design practices and development tools. The students will obtain hands-on experiences of creating AR/VR applications that address real-world problems in domains such as education, collaboration, and quality of life, and understand technological and ethical implications of AR/VR such as human behavior sensing and ethical challenges. Location (MW 3:25PM - 4:40PM)
CSC 440-01 Data Mining Jiebo Luo TR 3:25PM - 4:40PM
This course is designed to develop your understanding of the fundamental concepts in data mining and how they can be used to answer questions about real-world problems. These methods, and the underlying models, can be used to learn from existing data to make predictions about new data. The course will help you understand the mindset of creating a data project pipeline by covering topics on model development, causal inference, and traditional data mining. The class will both emphasize individual work and also team work by helping students solidify their knowledge through a final project. Location (TR 3:25PM - 4:40PM)
CSC 446-01 Machine Learning Daniel Gildea TR 11:05AM - 12:20PM
Mathematical foundations of classification, regression, and decision making. Supervised algorithms covered include perceptrons, logistic regression, support vector machines, and neural networks. Directed and undirected graphical models. Numerical parameter optimization, including gradient descent, expectation maximization, and other methods. Introduction to reinforcement learning. Proofs covered as appropriate. Significant programming projects will be assigned. This course involves a lot of math and algorithms. You should know multivariable calculus, linear algebra, and some algorithms. Location (TR 11:05AM - 12:20PM)
CSC 447-01 Natural Language Processing Hangfeng He MW 10:25AM - 11:40AM
This introductory course in Natural Language Processing (NLP) explores the AI techniques enabling computers to understand and communicate with humans. Divided into four main sections—Statistical NLP, Neural NLP, Foundation Models, and Advanced Topics—the curriculum covers essential language tasks, from syntax and semantics to complex applications like question answering. We'll also touch on current trends in Large Language Models, such as emergent abilities and human-alignment techniques. Ideal for those interested in the intersection of AI and language, the course tackles challenges at the word, sentence, and document levels. Location (MW 10:25AM - 11:40AM)
CSC 449-01 Machine Vision Chenliang Xu TR 9:40AM - 10:55AM
Introduction to computer vision, including camera models, basic image processing, pattern and object recognition, and elements of human vision. Specific topics include geometric issues, statistical models, Hough transforms, color theory, texture, and optic flow. Graduate-level course requires additional readings and assignments. Location (TR 9:40AM - 10:55AM)
CSC 452-01 Computer Organization Komail Dharsee TR 4:50PM - 6:05PM
Introduction to computer architecture and the layering of hardware/software systems. Topics include instruction set design; logical building blocks; computer arithmetic; processor organization; the memory hierarchy (registers, caches, main memory, and secondary storage); I/Obuses, devices, and interrupts; microcode and assembly language; virtual machines; the roles of the assembler, linker, compiler, and operating system; technological trends and the future of computing hardware. Several programming assignments required. Location (TR 4:50PM - 6:05PM)
CSC 454-01 Programming Language Design & Implementation George Ferguson MW 3:25PM - 4:40PM
Design and implementation of programming languages, with an emphasis on imperative languages and on implementation tradeoffs. In-depth examination of 'how programming languages work.' Topics include fundamental language concepts (names, values, types, abstraction, control flow); compilation and interpretation (syntactic and semantic analysis, code generation and optimization); major language paradigms (imperative, object-oriented, functional, logic-based, concurrent). Course projects include assignments in several different languages, with an emphasis on compilation issues. Location (MW 3:25PM - 4:40PM)
CSC 455-01 Software Analysis & Improv Sreepathi Pai MW 10:25AM - 11:40AM
Programming is the automation of information processing. Program analysis and transformation is the automation of programming itself---how much a program can understand and improve other programs. Because of the diversity and complexity of computer hardware, programmers increasingly depend on automation in compilers and other tools to deliver efficient and reliable software. This course combines fundamental principles and (hands-on) practical applications. Specific topics include data flow and dependence theories; static and dynamic program transformation including parallelization; memory and cache management; type checking and program verification; and performance analysis and modeling. The knowledge and practice will help students to become experts in software performance and correctness. Students taking the graduate level will have additional course requirements and a more difficult project. Location (MW 10:25AM - 11:40AM)
CSC 461-01 Database Systems Eustrat Zhupa TR 9:40AM - 10:55AM
This course presents the fundamental concepts of database design and use. It provides a study of data models, data description languages, and query facilities including relational algebra and SQL, data normalization, transactions and their properties, physical data organization and indexing, security issues and object databases. It also looks at the new trends in databases. The knowledge of the above topics will be applied in the design and implementation of a database application using a target database management system as part of a semester-long group project. Location (TR 9:40AM - 10:55AM)
CSC 461-02 Database Systems Eustrat Zhupa W 3:25PM - 4:40PM
This course presents the fundamental concepts of database design and use. It provides a study of data models, data description languages, and query facilities including relational algebra and SQL, data normalization, transactions and their properties, physical data organization and indexing, security issues and object databases. It also looks at the new trends in databases. The knowledge of the above topics will be applied in the design and implementation of a database application using a target database management system as part of a semester-long group project. Location (W 3:25PM - 4:40PM)
CSC 461-03 Database Systems Eustrat Zhupa W 4:50PM - 6:05PM
This course presents the fundamental concepts of database design and use. It provides a study of data models, data description languages, and query facilities including relational algebra and SQL, data normalization, transactions and their properties, physical data organization and indexing, security issues and object databases. It also looks at the new trends in databases. The knowledge of the above topics will be applied in the design and implementation of a database application using a target database management system as part of a semester-long group project. Location (W 4:50PM - 6:05PM)
CSC 461-04 Database Systems Eustrat Zhupa R 4:50PM - 6:05PM
This course presents the fundamental concepts of database design and use. It provides a study of data models, data description languages, and query facilities including relational algebra and SQL, data normalization, transactions and their properties, physical data organization and indexing, security issues and object databases. It also looks at the new trends in databases. The knowledge of the above topics will be applied in the design and implementation of a database application using a target database management system as part of a semester-long group project. Location (R 4:50PM - 6:05PM)
CSC 463-01 Data Management Systems Fatemeh Nargesian MW 9:00AM - 10:15AM
This course explores the internals of data engines. Topics covered will include the relational model; relational database design principles based on dependencies and normal forms; query execution; transactions; recovery; query optimization; parallel query processing; NoSQL. Location (MW 9:00AM - 10:15AM)
CSC 475-01 Additive Combinatorics Kaave Hosseini MW 4:50PM - 6:05PM
This course introduces additive combinatorics, a field at the intersection of combinatorics, number theory, and theoretical computer science. We will study the structure of sets under addition, with emphasis on tools and results that have found striking applications in computer science and mathematics. Topics include sumset estimates and the Plünnecke-Ruzsa inequalities, the necessary Fourier analytic tools, Freiman's theorem on sets with small doubling, the Balog-Szemerédi-Gowers theorem, arithmetic progressions and Roth's theorem, the sum-product phenomenon, and Gowers uniformity norms. Applications in algorithms, complexity, and number theory will be discussed. Location (MW 4:50PM - 6:05PM)
CSC 478-01 Computer Security Foundations John Criswell TR 3:25PM - 4:40PM
This course will teach students the foundations of computer security. Students will learn what security is, the design principles of secure systems, how security is enforced, and how security is compromised. Topics include access controls, information flow, basic applications of cryptography, buffer overflow attacks, and malware. Location (TR 3:25PM - 4:40PM)
CSC 480-01 Computer Models & Limitations Kaave Hosseini MW 2:00PM - 3:15PM
This course studies fundamental computer models and their computational limitations. Finite-state machines and pumping lemmas, the context-free languages, Turing machines, decidable and Turing-recognizable languages, undecidability, NP-completeness. Location (MW 2:00PM - 3:15PM)
CSC 480-02 Computer Models & Limitations Kaave Hosseini W 4:50PM - 6:05PM
This course studies fundamental computer models and their computational limitations. Finite-state machines and pumping lemmas, the context-free languages, Turing machines, decidable and Turing-recognizable languages, undecidability, NP-completeness. Location (W 4:50PM - 6:05PM)
CSC 480-03 Computer Models & Limitations Kaave Hosseini W 6:15PM - 7:30PM
This course studies fundamental computer models and their computational limitations. Finite-state machines and pumping lemmas, the context-free languages, Turing machines, decidable and Turing-recognizable languages, undecidability, NP-completeness. Location (W 6:15PM - 7:30PM)
CSC 480-04 Computer Models & Limitations Kaave Hosseini R 4:50PM - 6:05PM
This course studies fundamental computer models and their computational limitations. Finite-state machines and pumping lemmas, the context-free languages, Turing machines, decidable and Turing-recognizable languages, undecidability, NP-completeness. Location (R 4:50PM - 6:05PM)
CSC 480-09 Computer Models & Limitations Kaave Hosseini R 3:25PM - 4:40PM
This course studies fundamental computer models and their computational limitations. Finite-state machines and pumping lemmas, the context-free languages, Turing machines, decidable and Turing-recognizable languages, undecidability, NP-completeness. Location (R 3:25PM - 4:40PM)
CSC 482-01 Design & Analysis of Efficient Algorithms Eustrat Zhupa MW 10:25AM - 11:40AM
How does one design programs and ascertain their efficiency? Divide-and-conquer techniques, string processing, graph algorithms, mathematical algorithms. Advanced data structures such as balanced tree schemes. Introduction to NP-completeness and intractable combinatorial search, optimization, and decision problems. Location (MW 10:25AM - 11:40AM)
CSC 482-02 Design & Analysis of Efficient Algorithms Eustrat Zhupa T 6:15PM - 7:30PM
How does one design programs and ascertain their efficiency? Divide-and-conquer techniques, string processing, graph algorithms, mathematical algorithms. Advanced data structures such as balanced tree schemes. Introduction to NP-completeness and intractable combinatorial search, optimization, and decision problems. Location (T 6:15PM - 7:30PM)
CSC 482-03 Design & Analysis of Efficient Algorithms Eustrat Zhupa W 6:15PM - 7:30PM
How does one design programs and ascertain their efficiency? Divide-and-conquer techniques, string processing, graph algorithms, mathematical algorithms. Advanced data structures such as balanced tree schemes. Introduction to NP-completeness and intractable combinatorial search, optimization, and decision problems. Location (W 6:15PM - 7:30PM)
CSC 482-04 Design & Analysis of Efficient Algorithms Eustrat Zhupa M 6:15PM - 7:30PM
How does one design programs and ascertain their efficiency? Divide-and-conquer techniques, string processing, graph algorithms, mathematical algorithms. Advanced data structures such as balanced tree schemes. Introduction to NP-completeness and intractable combinatorial search, optimization, and decision problems. Location (M 6:15PM - 7:30PM)
CSC 482-05 Design & Analysis of Efficient Algorithms Eustrat Zhupa W 7:40PM - 8:55PM
How does one design programs and ascertain their efficiency? Divide-and-conquer techniques, string processing, graph algorithms, mathematical algorithms. Advanced data structures such as balanced tree schemes. Introduction to NP-completeness and intractable combinatorial search, optimization, and decision problems. Location (W 7:40PM - 8:55PM)
CSC 483-01 Topics in Cryptography Monika Polak TR 9:40AM - 10:55AM
In this course students will learn about the current state of Public Key Cryptography. In particular the NIST (National Institute of Standards and Technology) process to solicit, evaluate, and standardize one or more quantum-resistant public-key cryptographic algorithms will be discussed. Quantum-Resistant Cryptography (QRC) refers to cryptographic systems that are secure against both quantum and classical computers. Such systems may be achieved through classical (i.e. non-quantum) means. The security of many commonly used cryptographic protocols (especially public-key cryptosystems) would be compromised if general-purpose large-scale, fault-tolerant quantum computers became a reality. This course covers the consequences of Quantum Computing and why it poses a threat to currently used cryptographic systems, and then discusses potential Post-Quantum cryptosystems designed to be resistant to such attacks.. Location (TR 9:40AM - 10:55AM)
CSC 485-01 Gems of Algorithms and Elections Lane Hemaspaandra MW 4:50PM - 6:05PM
This course covers gems from the study of elections and the study of algorithms. Students do not need to have previous exposure to either of those topics. Most of the class's work is done via in-class, hands-on, team-based problem-solving, and discussion of the solutions. Topics vary between years, but typical topics include how to fairly apportion (e.g., assign to states their number of seats in the US House of Representatives); using algorithms to manipulate elections and using complexity to protect elections from manipulative attacks; and the interaction between algorithms and information content. The course is designed to be accessible to any student from CSC, ECON, MATH, or PSCI who likes tackling problems as part of a team and discussing the solutions Location (MW 4:50PM - 6:05PM)
CSC 486-01 Computational Complexity Lane Hemaspaandra MW 2:00PM - 3:15PM
This course is based on doing hands-on problem-solving to uncover the power and limitations of computer algorithms, and in particular focuses on in-class, group, discovery-based learning. This is usually done via the class's members creating algorithms under situation-specific assumptions, as much of complexity theory is based on simple algorithms. If you secretly liked 280 or 282, but would enjoy moving forward in a much smaller setting where you work with a few teammates to solve challenges and discover/design algorithms, this course likely is for you. The course typically covers the following: The difference between computable and uncomputable problems and between feasible and infeasible problems. Regarding the latter, what properties of a problem make it computationally simple? What properties of a problem may preclude its having efficient algorithms? How computationally hard are problems? Complete sets and low information content; P=NP?; characterizing whether one-way functions exist; reductions relating problems' complexities; complexity classes and hierarchies. Location (MW 2:00PM - 3:15PM)
CSC 491-01 Master’s Readings Michael Scott 7:00PM - 7:00PM
This course is for master's students that have made arrangements with a faculty member to complete readings and discussion in a particular subject in their field of study. Location ( 7:00PM - 7:00PM)
CSC 494-01 Master’s Research Internship John Criswell 7:00PM - 7:00PM
This course provides master's students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 494-02 Master’s Research Internship Chenliang Xu 7:00PM - 7:00PM
This course provides master's students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 494-03 Master’s Research Internship Lenhart Schubert 7:00PM - 7:00PM
This course provides master's students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 494-04 Master’s Research Internship Jiebo Luo 7:00PM - 7:00PM
This course provides master's students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 494-05 Master’s Research Internship Michael Scott 7:00PM - 7:00PM
This course provides master's students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 495-01 Master’s Research Gregory Heyworth 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-02 Master’s Research John Criswell 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-03 Master’s Research Zhen Bai 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-04 Master’s Research Chen Ding 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-05 Master’s Research Sandhya Dwarkadas 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-06 Master’s Research Daniel Gildea 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-07 Master’s Research Lane Hemaspaandra 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-08 Master’s Research Ehsan Hoque 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-09 Master’s Research Henry Kautz 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-10 Master’s Research Jiebo Luo 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-11 Master’s Research Fatemeh Nargesian 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-12 Master’s Research Christopher Kanan 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-13 Master’s Research Sreepathi Pai 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-14 Master’s Research Lenhart Schubert 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-15 Master’s Research Michael Scott 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-16 Master’s Research Daniel Stefankovic 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-17 Master’s Research Muthu Venkitasubramaniam 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-18 Master’s Research Chenliang Xu 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-19 Master’s Research Yuhao Zhu 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-20 Master’s Research Aaron White 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-21 Master’s Research Thomas Howard 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-22 Master’s Research Zhiyao Duan 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-23 Master’s Research Yanan Guo 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 495-24 Master’s Research Yukang Yan 7:00PM - 7:00PM
This course provides master’s students with the opportunity to conduct, develop, and refine their research projects. Students will engage in research relevant to their field of study and make progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 572-01 Adv. Topics in Computation, Vision, & Intelligence Yuhao Zhu MW 9:00AM - 10:15AM
This course is an advanced seminar course exploring how intelligence emerges through the lens of computation. While we will take a broad view of intelligence, we will be particularly concerned with visual intelligence, discussing topics on eyes, retina, and visual processing in the brain. We will approach intelligence from both the evolutionary angle and the learning angle. The overarching goals of the course is to both understand how natural intelligence emerges and how we can take inspiration from it to design artificial intelligence. The format will be a combination of instructor-led lectures, student-led paper critiquing and presentations, as well as semester-long projects. Location (MW 9:00AM - 10:15AM)
CSC 579-02 Logic Foundation and Machine-checked Proofs Chen Ding R 9:40AM - 10:55AM
This seminar teaches the theoretical equivalence between programming languages and mathematical logic. Topics include functional programming, proof by induction, proof tactics, logic, inductively defined propositions, and the Curry-Howard Correspondence. The interactive theorem prover called Coq is used to write machine-checked proofs. Students enrolling in the course are expected to have advanced knowledge in either programming languages (CSC 253, 254 or 255) or mathematical logic. Location (R 9:40AM - 10:55AM)
CSC 594-01 PhD Research Internship Sandhya Dwarkadas 7:00PM - 7:00PM
This course provides PhD students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 594-03 PhD Research Internship Jiebo Luo 7:00PM - 7:00PM
This course provides PhD students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 594-05 PhD Research Internship Chenliang Xu 7:00PM - 7:00PM
This course provides PhD students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 594-06 PhD Research Internship Yuhao Zhu 7:00PM - 7:00PM
This course provides PhD students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 594-07 PhD Research Internship Ehsan Hoque 7:00PM - 7:00PM
This course provides PhD students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 594-08 PhD Research Internship Chen Ding 7:00PM - 7:00PM
This course provides PhD students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 594-10 PhD Research Internship Michael Scott 7:00PM - 7:00PM
This course provides PhD students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 594-11 PhD Research Internship Daniel Gildea 7:00PM - 7:00PM
This course provides PhD students with the opportunity to gain practical experience in a professional setting related to their field of study. Students must register for one credit of internship during the semester in which they participate. Must have approval of the Graduate Education and Postdoctoral Affairs Office for SAS and Hajim. Location ( 7:00PM - 7:00PM)
CSC 595-01 PhD Research John Criswell 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-02 PhD Research Jiaming Liang 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-03 PhD Research Zhen Bai 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-04 PhD Research Chen Ding 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-05 PhD Research Sandhya Dwarkadas 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-06 PhD Research Daniel Gildea 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-07 PhD Research Lane Hemaspaandra 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-08 PhD Research Ehsan Hoque 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-09 PhD Research Yukang Yan 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-10 PhD Research Jiebo Luo 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-11 PhD Research Fatemeh Nargesian 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-12 PhD Research Yanan Guo 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-13 PhD Research Sreepathi Pai 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-14 PhD Research Zhiyao Duan 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-15 PhD Research Michael Scott 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-16 PhD Research Daniel Stefankovic 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-17 PhD Research Hangfeng He 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-18 PhD Research Chenliang Xu 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-19 PhD Research Yuhao Zhu 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-20 PhD Research Aaron White 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-21 PhD Research Xiangxiang Xu 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-22 PhD Research Thomas Howard 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-23 PhD Research Gregory Heyworth 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-24 PhD Research Christopher Kanan 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-25 PhD Research Mujdat Cetin 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-26 PhD Research Anson Kahng 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-28 PhD Research Kaave Hosseini 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 595-29 PhD Research Adam Sefkow 7:00PM - 7:00PM
This course provides PhD students with fewer than 90 credits the opportunity to conduct, develop, and refine their doctoral research projects. Students will engage in research relevant to their field of study and make progress toward completing their dissertations. Location ( 7:00PM - 7:00PM)
CSC 597-01 Computer Science Colloquium Anson Kahng M 11:50AM - 1:05PM
No description Location (M 11:50AM - 1:05PM)
CSC 895-01 Master's Thesis/Dissertation (P) Daniel Gildea 7:00PM - 7:00PM
This course provides master's students the opportunity to work part-time on their thesis/dissertation. Students will make progress toward completing degree requirements. Location ( 7:00PM - 7:00PM)
CSC 897-01 Masters Dissertation Daniel Gildea 7:00PM - 7:00PM
This course provides master's students who are currently completing their final required coursework, or with special circumstances like an approved reduced courseload, with the opportunity to work full-time on their degrees. Students will make significant progress toward completing their degrees. Location ( 7:00PM - 7:00PM)
CSC 899-01 Master's Thesis/Dissertation (F) Daniel Gildea 7:00PM - 7:00PM
This course provides master's students the opportunity to work full-time on their thesis/dissertation. Students will make significant progress toward completing degree requirements. Location ( 7:00PM - 7:00PM)
CSC 986V-01 Full Time Visiting Student – 7:00PM - 7:00PM
This course affords graduate students visiting the University of Rochester full-time student status. Visiting students will engage in research, discussion, and/or professional training in partnership with an academic department or faculty member. Location ( 7:00PM - 7:00PM)
CSC 995-01 Doctoral Dissertation (P) Daniel Gildea 7:00PM - 7:00PM
This course provides doctoral students the opportunity to work on their dissertation. Students will make progress toward completing degree requirements. Location ( 7:00PM - 7:00PM)
CSC 999-01 Doctoral Dissertation (F) Daniel Gildea 7:00PM - 7:00PM
This course provides doctoral students the opportunity to work full-time on their dissertation in absentia. Students will make significant progress toward completing degree requirements. Location ( 7:00PM - 7:00PM)

Number	Title	Instructor	Time
Monday
CSC 597-01 Computer Science Colloquium Anson Kahng
No description
CSC 482-04 Design & Analysis of Efficient Algorithms Eustrat Zhupa
How does one design programs and ascertain their efficiency? Divide-and-conquer techniques, string processing, graph algorithms, mathematical algorithms. Advanced data structures such as balanced tree schemes. Introduction to NP-completeness and intractable combinatorial search, optimization, and decision problems.
Monday and Wednesday
CSC 463-01 Data Management Systems Fatemeh Nargesian
This course explores the internals of data engines. Topics covered will include the relational model; relational database design principles based on dependencies and normal forms; query execution; transactions; recovery; query optimization; parallel query processing; NoSQL.
CSC 572-01 Adv. Topics in Computation, Vision, & Intelligence Yuhao Zhu
This course is an advanced seminar course exploring how intelligence emerges through the lens of computation. While we will take a broad view of intelligence, we will be particularly concerned with visual intelligence, discussing topics on eyes, retina, and visual processing in the brain. We will approach intelligence from both the evolutionary angle and the learning angle. The overarching goals of the course is to both understand how natural intelligence emerges and how we can take inspiration from it to design artificial intelligence. The format will be a combination of instructor-led lectures, student-led paper critiquing and presentations, as well as semester-long projects.
CSC 447-01 Natural Language Processing Hangfeng He
This introductory course in Natural Language Processing (NLP) explores the AI techniques enabling computers to understand and communicate with humans. Divided into four main sections—Statistical NLP, Neural NLP, Foundation Models, and Advanced Topics—the curriculum covers essential language tasks, from syntax and semantics to complex applications like question answering. We'll also touch on current trends in Large Language Models, such as emergent abilities and human-alignment techniques. Ideal for those interested in the intersection of AI and language, the course tackles challenges at the word, sentence, and document levels.
CSC 455-01 Software Analysis & Improv Sreepathi Pai
Programming is the automation of information processing. Program analysis and transformation is the automation of programming itself---how much a program can understand and improve other programs. Because of the diversity and complexity of computer hardware, programmers increasingly depend on automation in compilers and other tools to deliver efficient and reliable software. This course combines fundamental principles and (hands-on) practical applications. Specific topics include data flow and dependence theories; static and dynamic program transformation including parallelization; memory and cache management; type checking and program verification; and performance analysis and modeling. The knowledge and practice will help students to become experts in software performance and correctness. Students taking the graduate level will have additional course requirements and a more difficult project.
CSC 482-01 Design & Analysis of Efficient Algorithms Eustrat Zhupa
How does one design programs and ascertain their efficiency? Divide-and-conquer techniques, string processing, graph algorithms, mathematical algorithms. Advanced data structures such as balanced tree schemes. Introduction to NP-completeness and intractable combinatorial search, optimization, and decision problems.
CSC 409-01 Artificial General Intelligence Christopher Kanan
Many companies are working towards creating artificial general intelligence (AGI), i.e., systems capable of accomplishing any human intellectual task, and multiple companies aspire to create such systems within the next decade. WHile large language models (LLMs) do not yet have these capabilities, they exhibit "sparks" of AGI. In this course we review the concept of AGI and how we might assess a system to understand if it is an AGI. We will study the gaps in state-of-the-art systems and what would be needed for a system to be considered an AGI. We will also study AI ethics and safety, the socioeconomic implications of AGI, the likelihood of an intelligence explosion (i.e., the singularity), and existential risk due to AGI. Coursework includes readings, student presentations, and a project.
CSC 480-01 Computer Models & Limitations Kaave Hosseini
This course studies fundamental computer models and their computational limitations. Finite-state machines and pumping lemmas, the context-free languages, Turing machines, decidable and Turing-recognizable languages, undecidability, NP-completeness.
CSC 486-01 Computational Complexity Lane Hemaspaandra
This course is based on doing hands-on problem-solving to uncover the power and limitations of computer algorithms, and in particular focuses on in-class, group, discovery-based learning. This is usually done via the class's members creating algorithms under situation-specific assumptions, as much of complexity theory is based on simple algorithms. If you secretly liked 280 or 282, but would enjoy moving forward in a much smaller setting where you work with a few teammates to solve challenges and discover/design algorithms, this course likely is for you. The course typically covers the following: The difference between computable and uncomputable problems and between feasible and infeasible problems. Regarding the latter, what properties of a problem make it computationally simple? What properties of a problem may preclude its having efficient algorithms? How computationally hard are problems? Complete sets and low information content; P=NP?; characterizing whether one-way functions exist; reductions relating problems' complexities; complexity classes and hierarchies.
CSC 402-01 Network Science Analytics Gonzalo Mateos Buckstein
The science of networks is an emerging discipline of great importance that combines graph theory, probability and statistics, and facets of engineering and the social sciences. This course will provide students with the mathematical tools and computational training to understand large-scale networks in the current era of Big Data. It will introduce basic network models and structural descriptors, network dynamics and prediction of processes evolving on graphs, modern algorithms for topology inference, community and anomaly detection, as well as fundamentals of social network analysis. All concepts and theories will be illustrated with numerous applications and case studies from technological, social, biological, and information networks.
CSC 416-01 AR/VR Interaction Design Zhen Bai
Human activity is embodied through all our sensorimotor capacities, immersed in our immediate physical and social surroundings. Augmented Reality (AR) and Virtual Reality (VR) technologies have shown vast potential to extend our sensorimotor and social experiences in 3D space. This undergraduate/graduate course aims to help students to develop understanding of key AR/VR concepts, principles, technologies, design practices and development tools. The students will obtain hands-on experiences of creating AR/VR applications that address real-world problems in domains such as education, collaboration, and quality of life, and understand technological and ethical implications of AR/VR such as human behavior sensing and ethical challenges.
CSC 454-01 Programming Language Design & Implementation George Ferguson
Design and implementation of programming languages, with an emphasis on imperative languages and on implementation tradeoffs. In-depth examination of 'how programming languages work.' Topics include fundamental language concepts (names, values, types, abstraction, control flow); compilation and interpretation (syntactic and semantic analysis, code generation and optimization); major language paradigms (imperative, object-oriented, functional, logic-based, concurrent). Course projects include assignments in several different languages, with an emphasis on compilation issues.
CSC 475-01 Additive Combinatorics Kaave Hosseini
This course introduces additive combinatorics, a field at the intersection of combinatorics, number theory, and theoretical computer science. We will study the structure of sets under addition, with emphasis on tools and results that have found striking applications in computer science and mathematics. Topics include sumset estimates and the Plünnecke-Ruzsa inequalities, the necessary Fourier analytic tools, Freiman's theorem on sets with small doubling, the Balog-Szemerédi-Gowers theorem, arithmetic progressions and Roth's theorem, the sum-product phenomenon, and Gowers uniformity norms. Applications in algorithms, complexity, and number theory will be discussed.
CSC 485-01 Gems of Algorithms and Elections Lane Hemaspaandra
This course covers gems from the study of elections and the study of algorithms. Students do not need to have previous exposure to either of those topics. Most of the class's work is done via in-class, hands-on, team-based problem-solving, and discussion of the solutions. Topics vary between years, but typical topics include how to fairly apportion (e.g., assign to states their number of seats in the US House of Representatives); using algorithms to manipulate elections and using complexity to protect elections from manipulative attacks; and the interaction between algorithms and information content. The course is designed to be accessible to any student from CSC, ECON, MATH, or PSCI who likes tackling problems as part of a team and discussing the solutions
Tuesday
CSC 482-02 Design & Analysis of Efficient Algorithms Eustrat Zhupa
How does one design programs and ascertain their efficiency? Divide-and-conquer techniques, string processing, graph algorithms, mathematical algorithms. Advanced data structures such as balanced tree schemes. Introduction to NP-completeness and intractable combinatorial search, optimization, and decision problems.
Tuesday and Thursday
CSC 449-01 Machine Vision Chenliang Xu
Introduction to computer vision, including camera models, basic image processing, pattern and object recognition, and elements of human vision. Specific topics include geometric issues, statistical models, Hough transforms, color theory, texture, and optic flow. Graduate-level course requires additional readings and assignments.
CSC 461-01 Database Systems Eustrat Zhupa
This course presents the fundamental concepts of database design and use. It provides a study of data models, data description languages, and query facilities including relational algebra and SQL, data normalization, transactions and their properties, physical data organization and indexing, security issues and object databases. It also looks at the new trends in databases. The knowledge of the above topics will be applied in the design and implementation of a database application using a target database management system as part of a semester-long group project.
CSC 483-01 Topics in Cryptography Monika Polak
In this course students will learn about the current state of Public Key Cryptography. In particular the NIST (National Institute of Standards and Technology) process to solicit, evaluate, and standardize one or more quantum-resistant public-key cryptographic algorithms will be discussed. Quantum-Resistant Cryptography (QRC) refers to cryptographic systems that are secure against both quantum and classical computers. Such systems may be achieved through classical (i.e. non-quantum) means. The security of many commonly used cryptographic protocols (especially public-key cryptosystems) would be compromised if general-purpose large-scale, fault-tolerant quantum computers became a reality. This course covers the consequences of Quantum Computing and why it poses a threat to currently used cryptographic systems, and then discusses potential Post-Quantum cryptosystems designed to be resistant to such attacks..
CSC 446-01 Machine Learning Daniel Gildea
Mathematical foundations of classification, regression, and decision making. Supervised algorithms covered include perceptrons, logistic regression, support vector machines, and neural networks. Directed and undirected graphical models. Numerical parameter optimization, including gradient descent, expectation maximization, and other methods. Introduction to reinforcement learning. Proofs covered as appropriate. Significant programming projects will be assigned. This course involves a lot of math and algorithms. You should know multivariable calculus, linear algebra, and some algorithms.
CSC 412-01 Human Computer Interaction Yukang Yan
This course will explore the design, implementation, and evaluation of user interfaces. Students will study the theoretical methods for interface design and evaluation, including requirements gathering, usability heuristics, user interface inspections, usability studies, information visualization, and prototyping. Case studies of interface successes and failures will augment theory with practical experiences. Students will apply this methodology to assignments in the design, implementation, and evaluation cycle. Students taking this course at the graduate level will have additional readings and assignments.
CSC 415-01 Human-AI Collaboration Studio Yukang Yan
This project-based course introduces students to the principles and practice of human–AI collaboration through the design and development of interactive AI-powered applications. Students will explore how AI can augment human creativity, productivity, wellbeing, and smart living while learning to build systems that are transparent, trustworthy, and human-centered. Through hands-on projects, students will prototype AI-assisted applications, evaluate user experiences, and iteratively refine their designs using modern generative AI tools and human-centered design methods.
CSC 440-01 Data Mining Jiebo Luo
This course is designed to develop your understanding of the fundamental concepts in data mining and how they can be used to answer questions about real-world problems. These methods, and the underlying models, can be used to learn from existing data to make predictions about new data. The course will help you understand the mindset of creating a data project pipeline by covering topics on model development, causal inference, and traditional data mining. The class will both emphasize individual work and also team work by helping students solidify their knowledge through a final project.
CSC 478-01 Computer Security Foundations John Criswell
This course will teach students the foundations of computer security. Students will learn what security is, the design principles of secure systems, how security is enforced, and how security is compromised. Topics include access controls, information flow, basic applications of cryptography, buffer overflow attacks, and malware.
CSC 452-01 Computer Organization Komail Dharsee
Introduction to computer architecture and the layering of hardware/software systems. Topics include instruction set design; logical building blocks; computer arithmetic; processor organization; the memory hierarchy (registers, caches, main memory, and secondary storage); I/Obuses, devices, and interrupts; microcode and assembly language; virtual machines; the roles of the assembler, linker, compiler, and operating system; technological trends and the future of computing hardware. Several programming assignments required.
Wednesday
CSC 461-02 Database Systems Eustrat Zhupa
This course presents the fundamental concepts of database design and use. It provides a study of data models, data description languages, and query facilities including relational algebra and SQL, data normalization, transactions and their properties, physical data organization and indexing, security issues and object databases. It also looks at the new trends in databases. The knowledge of the above topics will be applied in the design and implementation of a database application using a target database management system as part of a semester-long group project.
CSC 461-03 Database Systems Eustrat Zhupa
This course presents the fundamental concepts of database design and use. It provides a study of data models, data description languages, and query facilities including relational algebra and SQL, data normalization, transactions and their properties, physical data organization and indexing, security issues and object databases. It also looks at the new trends in databases. The knowledge of the above topics will be applied in the design and implementation of a database application using a target database management system as part of a semester-long group project.
CSC 480-02 Computer Models & Limitations Kaave Hosseini
This course studies fundamental computer models and their computational limitations. Finite-state machines and pumping lemmas, the context-free languages, Turing machines, decidable and Turing-recognizable languages, undecidability, NP-completeness.
CSC 480-03 Computer Models & Limitations Kaave Hosseini
This course studies fundamental computer models and their computational limitations. Finite-state machines and pumping lemmas, the context-free languages, Turing machines, decidable and Turing-recognizable languages, undecidability, NP-completeness.
CSC 482-03 Design & Analysis of Efficient Algorithms Eustrat Zhupa
How does one design programs and ascertain their efficiency? Divide-and-conquer techniques, string processing, graph algorithms, mathematical algorithms. Advanced data structures such as balanced tree schemes. Introduction to NP-completeness and intractable combinatorial search, optimization, and decision problems.
CSC 482-05 Design & Analysis of Efficient Algorithms Eustrat Zhupa
How does one design programs and ascertain their efficiency? Divide-and-conquer techniques, string processing, graph algorithms, mathematical algorithms. Advanced data structures such as balanced tree schemes. Introduction to NP-completeness and intractable combinatorial search, optimization, and decision problems.
Thursday
CSC 579-02 Logic Foundation and Machine-checked Proofs Chen Ding
This seminar teaches the theoretical equivalence between programming languages and mathematical logic. Topics include functional programming, proof by induction, proof tactics, logic, inductively defined propositions, and the Curry-Howard Correspondence. The interactive theorem prover called Coq is used to write machine-checked proofs. Students enrolling in the course are expected to have advanced knowledge in either programming languages (CSC 253, 254 or 255) or mathematical logic.
CSC 480-09 Computer Models & Limitations Kaave Hosseini
This course studies fundamental computer models and their computational limitations. Finite-state machines and pumping lemmas, the context-free languages, Turing machines, decidable and Turing-recognizable languages, undecidability, NP-completeness.
CSC 461-04 Database Systems Eustrat Zhupa
This course presents the fundamental concepts of database design and use. It provides a study of data models, data description languages, and query facilities including relational algebra and SQL, data normalization, transactions and their properties, physical data organization and indexing, security issues and object databases. It also looks at the new trends in databases. The knowledge of the above topics will be applied in the design and implementation of a database application using a target database management system as part of a semester-long group project.
CSC 480-04 Computer Models & Limitations Kaave Hosseini
This course studies fundamental computer models and their computational limitations. Finite-state machines and pumping lemmas, the context-free languages, Turing machines, decidable and Turing-recognizable languages, undecidability, NP-completeness.