FORMAL VERIF HW SW SYSTEMS
Introduction to the theory and practice of formal methods for the design and analysis of correct (i.e. bug-free) concurrent and embedded hardware/software systems. Topics include temporal logics; model checking; deadlock and liveness issues; fairness; satisfiability (SAT) checkers; binary decision diagrams (BDDs); abstraction techniques; introduction to commercial formal verification tools. Industrial state-of-art, case studies and experiences: software analysis (C/C++/Java), hardware verification (RTL).
- W 6:10 p.m.-8 p.m.
- 3 points
TOPICS IN COMPUTER SCIENCE
VIRTUAL AND AUGMENTED REALITY
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.
- W 2:10 p.m.-4 p.m.
-
Instructor:
Steven K Feiner
CULPA: 18 Wikipedia Info - 3 points
TOPICS IN COMPUTER SCIENCE
NATURAL LANG GEN SUMMARIZ
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.
- W 4:10 p.m.-6 p.m.
-
Instructor:
Kathleen McKeown
CULPA: 8 h-index: 71 Info - 3 points
TOPICS IN COMPUTER SCIENCE
ENGR WEB3 BLOCKCHAIN APPS
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.
- T 10:10 a.m.-noon
-
Instructor:
Junfeng Yang
CULPA: 4 h-index: 33 Info - 3 points
TOPICS IN COMPUTER SCIENCE
TOPICS IN MOBILE X
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.
TOPICS IN COMPUTER SCIENCE
READINGS LANGUAGE DESIGN
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.
- R 12:10 p.m.-2 p.m.
-
Instructor:
Bjarne Stroustrup
CULPA: 1 Wikipedia h-index: 38 Info - 3 points
TOPICS IN COMPUTER SCIENCE
HIGH PERF MACH LEARNING
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.
- R 7 p.m.-9:30 p.m.
- 3 points
TOPICS IN COMPUTER SCIENCE
FUND SPEECH RECOGNITION
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.
- R 7 p.m.-9:30 p.m.
-
Instructor:
Homayoon S Beigi
Info - 3 points
TOPICS IN COMPUTER SCIENCE
CLOUD COMPUTING & BIG DATA
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.
- M 6:10 p.m.-8 p.m.
-
Instructor:
Sambit Sahu
CULPA: 5 Info - 3 points
TOPICS IN COMPUTER SCIENCE
MACHINE LEARNING &CLIMATE
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.
- T 4:10 p.m.-6 p.m.
-
Instructor:
Alp Kucukelbir
h-index: 11 Info - 3 points
TOPICS IN COMPUTER SCIENCE
ADV WEB DESIGN STUDIO
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.
- F 12:10 p.m.-2 p.m.
-
Instructor:
Lydia Chilton
CULPA: 3 h-index: 18 Info - 3 points
TOPICS IN COMPUTER SCIENCE
ANALYSIS OF NETWORKS & CROWDS
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.
- T 12:10 p.m.-2 p.m.
-
Instructor:
Augustin Chaintreau
CULPA: 6
h-index: 33
Info
- 3 points
TOPICS IN COMPUTER SCIENCE
ALGORITHMS FOR MASSIVE DATA
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.
- MW 2:40 p.m.-3:55 p.m.
-
Instructor:
Alexandr Andoni
CULPA: 2 h-index: 34 Info - 3 points
TOPICS IN COMPUTER SCIENCE
FORMAL VERIFICATION SYSTEM SW
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.
- R 2:10 p.m.-4 p.m.
-
Instructor:
Ronghui Gu
h-index: 11 Info - 3 points
TOPICS IN COMPUTER SCIENCE
ALGEBRAIC TECHNIQUES IN TCS
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.
- T 4:10 p.m.-6 p.m.
-
Instructor:
Josh Alman
Info - 3 points
TOPICS IN COMPUTER SCIENCE
CAUSAL TRUSTWORTHY AI
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.
- M 6:10 p.m.-8 p.m.
-
Instructor:
Elias Bareinboim
h-index: 25 Info - 3 points
TOPICS IN COMPUTER SCIENCE
TOPICS CLOUD COMPUTING
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.
- F 10:10 a.m.-noon
-
Instructor:
Kostis Kaffes
Info - 3 points
TOPICS IN COMPUTER SCIENCE
INTRO PROPERTY TESTING
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.
- F 2:10 p.m.-4 p.m.
-
Instructor:
Xi Chen
CULPA: 7
Wikipedia
h-index: 64
Info
- 3 points
TOPICS IN COMPUTER SCIENCE
FOUNDATIONS DATA PRIVACY
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.
- F 10:10 a.m.-12:40 p.m.
-
Instructor:
Rachel Cummings
h-index: 16 Info - 3 points
TOPICS IN COMPUTER SCIENCE
INTERNET MEASUREMENT
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.
- W 4:10 p.m.-6:40 p.m.
-
Instructor:
Ethan Katz-Bassett
h-index: 31 Info - 3 points
TOPICS IN COMPUTER SCIENCE
ADV COMPUTER NETWORKS
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.
- TR 2:40 p.m.-3:55 p.m.
-
Instructor:
Ethan Katz-Bassett
h-index: 31 Info - 3 points
TOPICS IN COMPUTER SCIENCE
MACHINE LEARNING DATASETS
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.
- F 4:10 p.m.-6 p.m.
-
Instructor:
Kenneth Marino
Info - 3 points