Fall 2023 Computer Science E6998 section 016

TOPICS IN COMPUTER SCIENCE

FORMAL VERIFICATION SYSTEM SW

Call Number 11281
Day & Time
Location
R 2:10pm-4:00pm
627 Seeley W. Mudd Building
Points 3
Grading Mode Standard
Approvals Required None
Instructor Ronghui Gu
Type LECTURE
Method of Instruction In-Person
Course Description

Selected topics in computer science (advanced level). Content and prerequisites vary between sections and semesters. May be repeated for credit. Check “topics course” webpage on the department website for more information on each section.

Web Site Vergil
Department Computer Science
Enrollment 6 students (30 max) as of 11:06AM Sunday, December 10, 2023
Subject Computer Science
Number E6998
Section 016
Division School of Engineering and Applied Science: Graduate
Campus Morningside
Section key 20233COMS6998E016