CSCI2950-X

(Formerly CS296-1)

Topics in Programming Languages & Systems

Instructor(s):
Course Home Page:
http://cs.brown.edu/courses/csci2950-x/
Location:Online / Synchronous
Meeting Time:B hr: MWF 9:00-9:50 AM
Exam Group:02: 22-APR-2021 Exam Time: 02:00:00 PM
Semester:Spring
Offered this year?Yes
When Offered?Occasionally


Description

Examines contemporary research topics in software construction from the perspectives of programming languages, software engineering and computer-aided verification. The primary goals are to understand which theory applies to which problems and to convert that theory into tools. Prerequisite: CSCI1730 or written permission of instructor.

CRN: 26968