Directory of Classes
NOTE: Course information changes frequently. Please re-visit these pages periodically for the most recent and up-to-date information.

Fall 2020 Computer Science E6998 section 002
TOPICS IN COMPUTER SCIENCE
FORMAL VERIFICATION SYSTEM SW

Call Number 10084
Day & Time
Location
W 4:10pm-6:00pm
ONLINE ONLY
Points 3
Grading Mode Standard
Approvals Required None
Instructor Ronghui Gu
Type LECTURE
Method of Instruction On-Line Only
Course Description Prerequisites: Instructors permission. Selected topics in computer science. Content varies from year to year. May be repeated for credit.
Web Site Vergil
Department Computer Science
Enrollment 8 students (20 max) as of 5:07PM Thursday, September 17, 2020
Subject Computer Science
Number E6998
Section 002
Division School of Engineering and Applied Science: Graduate
Campus Morningside
Section key 20203COMS6998E002

Home      About This Directory      Online Bulletins      ColumbiaWeb      SSOL
SIS update 09/17/20 17:07    web update 09/17/20 21:19