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

Fall 2019 Computer Science E6998 section 005
TOPICS IN COMPUTER SCIENCE
FORMAL VERIFICATION SYSTEM SW

Call Number 35962
Day & Time
Location
M 4:10pm-6:00pm
825 Seeley W. Mudd Building
Points 3
Grading Mode Standard
Approvals Required None
Instructor Ronghui Gu
Type LECTURE
Method of Instruction Classroom
Course Description Prerequisites: Instructor's permission. Selected topics in computer science. Content varies from year to year. May be repeated for credit.
Web Site Vergil
Department Computer Science
Enrollment 14 students (20 max) as of 8:02AM Friday, February 21, 2020
Subject Computer Science
Number E6998
Section 005
Division School of Engineering and Applied Science: Graduate
Campus Morningside
Section key 20193COMS6998E005

Home      About This Directory      Online Bulletins      ColumbiaWeb      SSOL
SIS update 02/21/20 08:02    web update 02/21/20 16:19