Tydal.io

Architecture, Compilers, Parallel Computing:

CS 426 - Compiler Construction - Vikram Adve
CS 431 - Embedded Systems - Lui Sha
CS 433 - Computer System Organization - Christopher Wardlaw Fletcher
CS 483 - Applied Parallel Programming - Volodymyr Kindratenko
CS 484 - Parallel Programming - Lawrence Rauchwerger
CS 526 - Advanced Compiler Construction - Vikram Adve
CS 533 - Parallel Computer Architecture
CS 534 - Adv Topics in Comp Arch
CS 536 - Fault-Tolerant Dig Syst Design - Zbigniew T Kalbarczyk

Artificial Intelligence:

CS 440 - Artificial Intelligence - Julia Constanze Hockenmaier
CS 441 - Applied Machine Learning - Derek W Hoiem
CS 442 - Trustworthy Machine Learning - Bo Li
CS 443 - Reinforcement Learning - Nan Jiang
CS 444 - Deep Learning for Compt Visn - Svetlana Lazebnik
CS 445 - Computational Photography
CS 446 - Machine Learning - Zhizhen Jane Zhao
CS 447 - Natural Language Processing - Julia Hockenmaier
CS 448 - Audio Computing Laboratory - Paris Smaragdis
CS 540 - Deep Learning Theory
CS 542 - Stat Reinforcement Learning - Nan Jiang
CS 543 - Computer Vision - Saurabh Gupta
CS 544 - Optimiz in Computer Vision - David Forsyth
CS 545 - Machine Learning for Signals - Paris Smaragdis
CS 546 - Advanced Topics in Natural Language Processing - Heng Ji
CS 588 - Autonomous Vehicle System Eng - David Forsyth
CS 598 - Deep Learning for Healthcare

Bioinformatics and Computational Biology:

CS 466 - Introduction to Bioinformatics - Saurabh Sinha
CS 581 - Algorithmic Genomic Biology - Tandy Warnow
CS 582 - ML for Bioinformatics - Saurabh Sinha

Computers and Education:

CS 500 - Topics in Comp Ed Rsrch

Database and Information Systems:

CS 410 - Text Information Systems - ChengXiang Zhai
CS 411 - Database Systems - Abdussalam Alawini
CS 412 - Introduction to Data Mining - Hanghang Tong
CS 470 - Social and Information Networks
CS 510 - Advanced Information Retrieval - ChengXiang Zhai
CS 511 - Advanced Data Management - Yongjoo Park
CS 512 - Data Mining Principles - Hanghang Tong
CS 514 - Advanced Topics in Network Science

Interactive Computing:

CS 409 - The Art of Web Programming - Ranjitha Kumar
CS 415 - Game Development - Luther Tychonievich
CS 416 - Data Visualization
CS 417 - Computer-Assisted Instruction - Sharon Y Tettegah
CS 418 - Interactive Computer Graphics - Luther Tychonievich
CS 419 - Production Computer Graphics - John C Hart
CS 445 - Computational Photography
CS 465 - User Interface Design - Brian P Bailey
CS 467 - Social Visualization - Karrie Karahalios
CS 469 - Comp Adv Infrastructure
CS 519 - Scientific Visualization
CS 565 - Human-Computer Interaction - Brian P Bailey
CS 567 - Social Spaces - Karrie Karahalios
CS 568 - User-Centered Machine Learning - Ranjitha Kumar

Programming Languages, Formal Methods, Software Engineering:

CS 421 - Progrmg Languages & Compilers - Elsa Gunter
CS 422 - Programming Language Design - Grigore Rosu
CS 427 - Software Engineering I - Reyhaneh Jabbarvand
CS 428 - Software Engineering II - Darko Marinov
CS 474 - Logic in Computer Science - Madhusudan Parthasarathy
CS 475 - Formal Models of Computation - Benjamin Cosman
CS 476 - Program Verification - Jose Meseguer
CS 477 - Formal Software Devel Methods - Gagandeep Singh
CS 521 - Adv Topics in Pgm Systems - Gagandeep Singh
CS 522 - Programming Language Semantics - Grigore Rosu
CS 524 - Concurrent Progrmg Languages - Jose Meseguer
CS 527 - Topics in Software Engineering - Lingming Zhang
CS 576 - Topics in Automated Deduction - Jose Meseguer
CS 584 - Embedded System Verification - Sayan Mitra

Scientific Computing:

CS 450 - Numerical Analysis - Luke Olson
CS 482 - Simulation - Sheldon Howard Jacobson
CS 554 - Parallel Numerical Algorithms - Luke Olson
CS 555 - Numerical Methods for PDEs - Luke Olson
CS 556 - Iterative & Multigrid Methods - Paul Fischer
CS 558 - Topics in Numerical Analysis - Anil Nirmal Hirani

Security and Privacy:

CS 461 - Computer Security I - Kirill Levchenko
CS 463 - Computer Security II - Gang Wang
CS 562 - Adv Topics in Sec, Priv and ML Bo Li
CS 563 - Advanced Computer Security - Christopher Wardlaw Fletcher

Systems and Networking (includes real-time systems and security):

CS 414 - Multimedia Systems - Klara Nahrstedt
CS 423 - Operating Systems Design
CS 424 - Real-Time Systems - Tarek Abdelzaher
CS 425 - Distributed Systems - Radhika Mittal
CS 434 - Mobile Computing & Application - Romit Roy Choudhury
CS 435 - Cloud Networking - Philip Godfrey
CS 436 - Computer Networking Laboratory - Matthew Caesar
CS 437 - Internet of Things - Matthew Caesar
CS 438 - Communication Networks - Deepak Vasisht
CS 439 - Wireless Networks - Robin Hillary Kravets
CS 461 - Computer Security I - Kirill Levchenko
CS 463 - Computer Security II - Gang Wang
CS 498 - Cloud Computing Applications
CS 523 - Advanced Operating Systems
CS 525 - Advanced Distributed Systems - Indranil Gupta
CS 537 - Advanced Topics in IoT - Klara Nahrstedt
CS 538 - Advanced Computer Networks - Brighten Godfrey
CS 541 - Computer Systems Analysis
CS 563 - Advanced Computer Security - Christopher Wardlaw Fletcher

Theory and Algorithms:

CS 473 - Algorithms
CS 475 - Formal Models of Computation - Benjamin Cosman
CS 507 - Topics in Cryptography
CS 571 - Combinatorial Mathematics
CS 573 - Algorithms
CS 574 - Randomized Algorithms
CS 579 - Computational Complexity - Michael A Forbes
CS 580 - Topics in Algrthmc Game Theory - Ruta Mehta
CS 583 - Approximation Algorithms - Chandra Sekhar Chekuri
CS 586 - Combinatorial Optimization - Chandra Sekhar Chekuri