UVa Class Schedules (Unofficial, Lou's List v2.10)   New Features
Complete Schedule for the Computer Science Program - Spring 2022
These data were not obtained from SIS in real time and may be slightly out of date. MouseOver the enrollment to see Last Update Time
Summary Information    Download Data    Weekly Student Credit-Hours

I continue to maintain this list of classes, now with UVA support! -- Lou Bloomfield, Professor Emeritus of Physics
 
For information on CS enrollment dates or to see what CS 111X course is right for you, click here.

The CS department is transitioning starting next semester to a new curriculum. For course and advising information, click here.
Normal Format  - Collapse All    + Expand All
Computer Science
 CS 1110 Introduction to Programming
15402 001Lecture (3)Closed185 / 185Raymond PettitMoWeFr 2:00pm - 2:50pmWilson Hall 301
15412 002Lecture (3)Open237 / 300Raymond PettitMoWeFr 3:00pm - 3:50pmWilson Hall 402
16291 003Lecture (3)Closed140 / 140Aidan SanMoWeFr 1:00pm - 1:50pmOlsson Hall 120
15403 100Laboratory (0)Closed80 / 80Raymond PettitTh 9:30am - 10:45amOlsson Hall 018
15404 101Laboratory (0)Closed80 / 80Raymond PettitTh 11:00am - 12:15pmOlsson Hall 018
15405 102Laboratory (0)Open79 / 80Raymond PettitTh 12:30pm - 1:45pmOlsson Hall 018
15406 103Laboratory (0)Open78 / 80Raymond PettitTh 2:00pm - 3:15pmOlsson Hall 018
15407 104Laboratory (0)Closed80 / 80Raymond PettitTh 3:30pm - 4:45pmOlsson Hall 018
15408 105Laboratory (0)Open79 / 80Raymond PettitTh 5:00pm - 6:15pmOlsson Hall 018
15409 106Laboratory (0)Open55 / 80Raymond PettitTh 6:30pm - 7:45pmOlsson Hall 018
21671 107Laboratory (0)Open31 / 70Raymond PettitTh 5:00pm - 6:15pmOlsson Hall 009
 CS 1111 Introduction to Programming
15414 001Lecture (3)Open85 / 86Panagiotis ApostolellisMoWe 2:00pm - 3:15pmOlsson Hall 018
 CS 1112 Introduction to Programming
15415 001Lecture (3)Open147 / 151Jim Cohoon+1MoWeFr 2:00pm - 3:15pmRice Hall 130
 CS 1501 Special Topics in Computer Science
 Competing with AI
21272 001Lecture (1)Open23 / 24Haifeng XuTu 11:00am - 11:50amRice Hall 011
 CS 2100 Data Structures and Algorithms 1
19173 001Lecture (4)Open 399 / 420Mark FloryanMoWeFr 12:00pm - 12:50pmChemistry Bldg 402
19174 002Lecture (4)Open 166 / 170Nada BasitMoWeFr 10:00am - 10:50amRidley Hall G008
19176 101Laboratory (0)Open130 / 132Mark FloryanMo 3:00pm - 4:45pmOlsson Hall 120
19177 102Laboratory (0)Open148 / 152Mark FloryanMo 5:00pm - 6:45pmRice Hall 130
19178 103Laboratory (0)Open151 / 152Mark FloryanMo 7:00pm - 8:45pmRice Hall 130
21077 104Laboratory (0)Closed136 / 135Mark FloryanMo 3:30pm - 5:15pmMechanical Engr Bldg 205
 CS 2110 Software Development Methods
15417 001Lecture (3)Open 23 / 150Derrick StoneMoWeFr 9:00am - 9:50amRice Hall 130
15418 101Laboratory (0)Open23 / 141Derrick StoneTu 5:00pm - 6:45pmRice Hall 130
 CS 2120 Discrete Mathematics and Theory 1
20723 001Lecture (3)Open 142 / 150Elizabeth OrricoMoWeFr 12:00pm - 12:50pmRice Hall 130
20724 002Lecture (3)Open 150 / 153Briana MorrisonMoWeFr 1:00pm - 1:50pmRidley Hall G008
20725 003Lecture (3)Open 154 / 155Briana MorrisonMoWeFr 10:00am - 10:50amRice Hall 130
 CS 2130 Computer Systems and Organization 1
19179 001Lecture (4)Open 119 / 125Luther TychonievichMoWeFr 1:00pm - 1:50pmNau Hall 101
19180 002Lecture (4)Open 38 / 130Daniel GrahamMoWeFr 12:00pm - 12:50pmOlsson Hall 120
19181 101Laboratory (0)Open118 / 130Luther TychonievichTh 5:00pm - 6:15pmRice Hall 130
19182 102Laboratory (0)Open39 / 130Luther TychonievichTh 6:30pm - 7:45pmRice Hall 130
 CS 2150 Program and Data Representation
15421 001Lecture (3)Open 196 / 240Aaron BloomfieldMoWeFr 12:00pm - 12:50pmMaury Hall 209
 Can't enroll in the course? Read http://bit.ly/cs-info-nonmajors before you email the instructors, please.
16080 002Lecture (3)Open 197 / 240Mark FloryanMoWeFr 1:00pm - 1:50pmMaury Hall 209
15422 101Laboratory (0)Open30 / 80Aaron BloomfieldTu 9:30am - 10:45amOlsson Hall 018
15423 102Laboratory (0)Open71 / 80Aaron BloomfieldTu 11:00am - 12:15pmOlsson Hall 018
15424 103Laboratory (0)Open73 / 80Aaron BloomfieldTu 12:30pm - 1:45pmOlsson Hall 018
15823 104Laboratory (0)Open76 / 80Aaron BloomfieldTu 2:00pm - 3:15pmOlsson Hall 018
15904 105Laboratory (0)Open56 / 80Aaron BloomfieldTu 3:30pm - 4:45pmOlsson Hall 018
16079 106Laboratory (0)Open55 / 80Aaron BloomfieldTu 5:00pm - 6:15pmOlsson Hall 018
16145 107Laboratory (0)Open32 / 80Aaron BloomfieldTu 6:30pm - 7:45pmOlsson Hall 018
 CS 2501 Special Topics in Computer Science
 Careers in Computing for Social Good
20944 001SEM (1)Open22 / 25Julia Lapan+1Tu 4:00pm - 4:50pmRice Hall 032
 CS 2910 CS Education Practicum
16462 001PRA (1)Permission93 / 120Nathan BrunelleTBATBA
 CS 3102 Theory of Computation
15425 001Lecture (3)Open 278 / 290Nathan BrunelleMoWe 5:00pm - 6:15pmMaury Hall 209
 CS 3205 HCI in Software Development
16146 001Lecture (3)Open 90 / 153Panagiotis ApostolellisTuTh 3:30pm - 4:45pmRice Hall 130
 CS 3240 Advanced Software Development Techniques
15915 001Lecture (3)Open 139 / 140Paul McBurneyTuTh 11:00am - 12:15pmRice Hall 130
16438 002Lecture (3)Open 99 / 140Paul McBurneyTuTh 2:00pm - 3:15pmRice Hall 130
15426 101Laboratory (0)Open238 / 240Paul McBurneyTBATBA
 Course enrollment is restricted by the lab size, not the lecture size. So if the lab section is full, the course is full, regardless if there are lecture seats that appear open. The lab section is not a scheduled lab, and it will have no specific meeting time. It accounts for the time you will spend with your group and TA each week, which you will schedule on your own.
 CS 3250 Software Testing
20472 001Lecture (3)Open 147 / 148Upsorn PraphamontripongMoWeFr 1:00pm - 1:50pmRice Hall 130
 CS 3330 Computer Architecture
15947 100Lecture (3)Open 54 / 120Ashish VenkatTuTh 11:00am - 12:15pmOlsson Hall 120
15948 101Laboratory (0)Open 36 / 80Ashish VenkatWe 3:30pm - 4:45pmOlsson Hall 018
19183 102Laboratory (0)Open 18 / 80Ashish VenkatWe 5:00pm - 6:15pmOlsson Hall 005
20616 200Lecture (3)Open 141 / 145Luther TychonievichMoWe 3:30pm - 4:45pmRice Hall 130
15949 201Laboratory (0)Closed 75 / 75Luther TychonievichWe 5:00pm - 6:15pmOlsson Hall 018
16215 202Laboratory (0)Open 66 / 75Luther TychonievichWe 6:30pm - 7:45pmOlsson Hall 018
 CS 3501 Special Topics in Computer Science
 Foundations of Data Analysis
16671 001Lecture (3)Closed80 / 74Tom FletcherTuTh 11:00am - 12:15pmThornton Hall E303
 Embedded Computing & Robotics I
16728 002Lecture (3)Open41 / 42Joanne DuganMoWeFr 11:00am - 12:15pmOlsson Hall 018
 Prerequisites are DLD and CS 111x (or equivalent). To see the robot kit that we will use, visit university.ti.com/programs/RSLK/ You will build a mobile robot and write the device drivers for interfacing with the physical world, as well as the control software for autonomous "driving." Each student gets their own kit; the enrollment limit depends on the number of available kits. Not a major? Ask permission in SIS.
 Penetration Testing
21521 003Lecture (3)Open 21 / 25Daniel OrrTuTh 2:00pm - 3:15pmWeb-Based Course
 CS 3710 Introduction to Cybersecurity
16608 001Lecture (3)Closed 145 / 144Angela OrebaughMoWeFr 9:00am - 9:50amOlsson Hall 120
19186 002Lecture (3)Closed 147 / 144Angela OrebaughMoWeFr 10:00am - 10:50amOlsson Hall 120
 CS 4102 Algorithms
15522 001Lecture (3)Open 142 / 147Robbie HottTuTh 12:30pm - 1:45pmMechanical Engr Bldg 205
 Both sections will be coordinated: same lectures, assignments, exams.
16294 002Lecture (3)Open 231 / 240Tom HortonTuTh 2:00pm - 3:15pmNau Hall 101
 CS 4414 Operating Systems
15428 001Lecture (3)Open 150 / 154Charles ReissTuTh 12:30pm - 1:45pmRice Hall 130
16439 002Lecture (3)Open 104 / 130Charles ReissTuTh 3:30pm - 4:45pmOlsson Hall 120
 CS 4434 Dependable Computing Systems
20875 001Lecture (3)Open 5 / 12Homa AlemzadehMoWe 2:00pm - 3:15pmRice Hall 340
 CS 4457 Computer Networks
16013 001Lecture (3)Open 55 / 60Brad CampbellTuTh 3:30pm - 4:45pmThornton Hall E316
 CS 4501 Special Topics in Computer Science
 Introduction to Algorithmic Economics
16028 001Lecture (3)Permission39 / 20Denis Nekipelov+1MoWe 2:00pm - 3:15pmOlsson Hall 011
 For computer Science majors, CS 2120 and CS 2150 are prerequisites. For economics majors, ECON 3010 (or 3110) and ECON 3720 (or 4720) are prerequisites.
 Cybersecurity and Elections
16612 002Lecture (3)Permission48 / 45It will be taught by a group including Jack Davidson+3MoWe 2:00pm - 3:15pmThornton Hall E316
 CS 3710 is a prerequisite for this course. ** This course is required for the VA Cyber Navigator Internship Program for Summer 2022. If you are interested in the internship and this course is full - please contact Angela (angelao@virginia.edu) to register. Those pursuing the internship will receive priority. **
 Autonomous Vehicles: Perception,Planning & Control
16293 003Lecture (3)Open43 / 48Madhur BehlTuTh 9:30am - 10:45amRice Hall 120
 Engineering Interactive Technologies
16715 004Lecture (3)Open 49 / 50Seongkook HeoMoWeFr 1:00pm - 1:50pmOlsson Hall 011
 Signal Processing, Machine Learning, and Control
 Signal Processing, Machine Learning, and Control
16816 006Lecture (3)Open37 / 38John StankovicMoWe 3:30pm - 4:45pmRice Hall 340
 Interpretable Machine Learning
21359 007Lecture (3)Closed8 / 10Hanjie Chen+1TuTh 11:00am - 12:15pmRice Hall 340
 Computational Biology / Biological Computing
 Computational Biology / Biological Computing
19944 009Lecture (3)Open58 / 60David EvansMoWe 12:30pm - 1:45pmOlsson Hall 018
 Cryptocurrency
20479 010Lecture (3)Open80 / 100Aaron BloomfieldMoWe 3:30pm - 4:45pmThornton Hall E303
 Will Bitcoin hit $100k? $200k??? We'll find out! CS 3710, Introduction to Cybersecurity, is a strict pre-req for this course.
 CS 4640 Programming Languages for Web Applications
20802 001Lecture (3)Open 144 / 156Robbie HottTuTh 9:30am - 10:45amRice Hall 130
 We will focus on PHP; we will not be using Python.
 CS 4740 Cloud Computing
16015 001Lecture (3)Open 115 / 120Haiying ShenTuTh 2:00pm - 3:15pmOlsson Hall 120
 CS 4750 Database Systems
16014 001Lecture (3)Closed 147 / 145Upsorn PraphamontripongMoWeFr 11:00am - 11:50amOlsson Hall 120
 CS 4760 Network Security
 Flipped Class (Recorded Lectures) In Class Activities.
16683 001Lecture (3)Open 50 / 80Daniel GrahamMoWeFr 10:00am - 10:50amOlsson Hall 009
 CS 4774 Machine Learning
20129 001Lecture (3)Open 125 / 150Yanjun QiTuTh 2:00pm - 3:15pmWeb-Based Course
 CS 4980 Capstone Research
16665 001IND (1 - 3)Permission 3 / 30Aaron BloomfieldTBATBA
15934 002IND (1 - 3)Permission 0 / 30Jim CohoonTBATBA
15935 003IND (1 - 3)Permission 0 / 30Jack DavidsonTBATBA
15936 004IND (1 - 3)Permission 0 / 30David EvansTBATBA
15937 005IND (1 - 3)Permission 0 / 30Mark FloryanTBATBA
16684 006IND (1 - 3)Permission 1 / 30Homa AlemzadehTBATBA
15938 007IND (1 - 3)Permission 0 / 30Hongning WangTBATBA
16688 008IND (1 - 3)Permission 1 / 30Nicola BezzoTBATBA
19055 009IND (1 - 3)Permission 0 / 30Kevin SullivanTBATBA
16250 010IND (1 - 3)Permission 2 / 30Madhur BehlTBATBA
16690 011IND (1 - 3)Permission 0 / 30Jonathan GoodallTBATBA
15939 012IND (1 - 3)Permission 1 / 30Mohammad MahmoodyTBATBA
16325 013IND (1 - 3)Permission 2 / 30Haiying ShenTBATBA
15940 014IND (1 - 3)Permission 3 / 30Yanjun QiTBATBA
16691 015IND (1 - 3)Permission 0 / 30Kristen NaegleTBATBA
16692 016IND (1 - 3)Permission 0 / 30Denis NekipelovTBATBA
15941 017IND (1 - 3)Permission 0 / 30Mark SherriffTBATBA
16711 018IND (1 - 3)Permission 0 / 30Daniel GrahamTBATBA
16490 019IND (1 - 3)Permission 0 / 30Sebastian ElbaumTBATBA
16496 020IND (1 - 3)Permission 0 / 30Samira KhanTBATBA
16499 021IND (1 - 3)Permission 0 / 30Jack Davidson+1TBATBA
16729 022IND (1 - 3)Permission 0 / 30Alfred WeaverTBATBA
16736 023IND (1 - 3)Permission 0 / 30Andrew GrimshawTBATBA
16737 024IND (1 - 3)Permission 0 / 30Luther TychonievichTBATBA
16520 025IND (1 - 3)Permission 1 / 30Yonghwi KwonTBATBA
16110 026IND (1 - 3)Permission 5 / 30Nada BasitTBATBA
16751 027IND (1 - 3)Permission 0 / 30Seongkook HeoTBATBA
16763 028IND (1 - 3)Permission 0 / 30Madhav MaratheTBATBA
16558 029IND (1 - 3)Permission 1 / 30Rich NguyenTBATBA
16764 030IND (1 - 3)Permission 1 / 30Kevin SkadronTBATBA
16570 031IND (1 - 3)Permission 0 / 30Worthy MartinTBATBA
16768 032IND (1 - 3)Permission 0 / 30David WuTBATBA
16577 033IND (1 - 3)Permission 0 / 30Matthew DwyerTBATBA
16234 034IND (1 - 3)Permission 0 / 30Upsorn PraphamontripongTBATBA
16775 035IND (1 - 3)Permission 0 / 30Yangfeng JiTBATBA
16802 036IND (1 - 3)Permission 0 / 30Aidong ZhangTBATBA
16235 037IND (1 - 3)Permission 1 / 30Lu FengTBATBA
16856 038IND (1 - 3)Permission 1 / 30Haifeng XuTBATBA
16251 039IND (1 - 3)Permission 1 / 30Nathan BrunelleTBATBA
16905 040IND (1 - 3)Permission 0 / 30Jim Cohoon+1TBATBA
16297 041IND (1 - 3)Permission 2 / 30Yuan TianTBATBA
21152 042IND (1 - 3)Permission 3 / 30Paul McBurneyTBATBA
21964 043IND (1 - 3)Permission 0 / 30Brad CampbellTBATBA
22116 044IND (1 - 3)Open0 / 30Elizabeth OrricoTBATBA
 CS 4991 Capstone Technical Report
19189 001SEM (0)Open 72 / 75Rosanne VrugtmanTBATBA
19190 002SEM (0)Open 24 / 75Rosanne VrugtmanTBATBA
 CS 4993 Independent Study
16252 001IND (1 - 3)Permission0 / 30Madhur BehlTBATBA
16666 002IND (1 - 3)Permission1 / 30Ashish VenkatTBATBA
15533 003IND (1 - 3)Permission0 / 10Andrew GrimshawTBATBA
16463 004IND (1 - 3)Permission0 / 30Homa AlemzadehTBATBA
16693 005IND (1 - 3)Permission0 / 30Nicola BezzoTBATBA
16467 006IND (1 - 3)Permission0 / 30Jonathan GoodallTBATBA
16470 007IND (1 - 3)Permission0 / 30Denis NekipelovTBATBA
21323 008IND (1 - 3)Permission7 / 30Tariq IqbalTBATBA
21465 009IND (1 - 3)Permission1 / 30Anil VullikantiTBATBA
15826 010IND (1 - 3)Permission0 / 10Mark SherriffTBATBA
16695 011IND (1 - 3)Permission0 / 30Kristen NaegleTBATBA
16738 012IND (1 - 3)Permission1 / 30Luther TychonievichTBATBA
16500 013IND (1 - 3)Permission0 / 30Alfred WeaverTBATBA
16510 014IND (1 - 3)Permission1 / 30Robbie HottTBATBA
16512 015IND (1 - 3)Permission0 / 30Upsorn PraphamontripongTBATBA
16745 016IND (1 - 3)Permission0 / 30Jack DavidsonTBATBA
16752 017IND (1 - 3)Permission 0 / 30Seongkook HeoTBATBA
16776 018IND (1 - 3)Permission0 / 30Daniel GrahamTBATBA
16793 019IND (1 - 3)Permission1 / 30Haiying ShenTBATBA
16794 020IND (1 - 3)Permission0 / 30Kevin SkadronTBATBA
15946 021IND (1 - 3)Permission5 / 10Nada BasitTBATBA
15950 022IND (1 - 3)Permission2 / 30Yanjun QiTBATBA
16534 023IND (1 - 3)Permission3 / 30Panagiotis ApostolellisTBATBA
16552 024IND (1 - 3)Permission0 / 30Yangfeng JiTBATBA
15951 025IND (1 - 3)Permission0 / 30David EvansTBATBA
16066 026IND (1 - 3)Permission3 / 30Hongning WangTBATBA
16574 027IND (1 - 3)Permission4 / 30Yonghwi KwonTBATBA
16855 028IND (1 - 3)Permission0 / 30David WuTBATBA
16857 029IND (1 - 3)Permission0 / 30Haifeng XuTBATBA
16870 030IND (1 - 3)Permission0 / 30Madhav MaratheTBATBA
16903 031IND (1 - 3)Permission4 / 30Rich NguyenTBATBA
16230 032IND (1 - 3)Permission0 / 30Ahmed IbrahimTBATBA
16950 033IND (1 - 3)Permission1 / 30Mark FloryanTBATBA
21482 034IND (1 - 3)Permission1 / 30Yixin SunTBATBA
16236 036IND (1 - 3)Permission0 / 30Vicente Ordonez-RomanTBATBA
16237 037IND (1 - 3)Permission2 / 30Lu FengTBATBA
21623 038IND (1 - 3)Permission1 / 30Jundong LiTBATBA
16253 039IND (1 - 3)Permission0 / 30Nathan BrunelleTBATBA
16298 040IND (1 - 3)Permission4 / 30Yuan TianTBATBA
21662 041IND (1 - 3)Permission1 / 30Afsaneh DoryabTBATBA
21690 042IND (1 - 3)Permission1 / 30Mircea StanTBATBA
21939 043IND (1 - 3)Permission0 / 30Don Brown+1TBATBA
16392 044IND (1 - 3)Permission 0 / 30Farzad HassanzadehTBATBA
21971 045IND (1 - 3)Permission1 / 30Tom HortonTBATBA
22117 046IND (1 - 3)Open0 / 30Elizabeth OrricoTBATBA
16948 600IND (1 - 3)Permission0 / 1Panagiotis ApostolellisTBATBA
 CS 4998 Distinguished BA Majors Research
16667 001IND (3)Permission 0 / 30Ashish VenkatTBATBA
15983 002IND (3)Permission 1 / 30Hongning WangTBATBA
16454 003IND (3)Permission 2 / 30Yanjun QiTBATBA
16567 004IND (3)Permission 0 / 30Mark SherriffTBATBA
16685 005IND (3)Permission 0 / 30Homa AlemzadehTBATBA
16696 006IND (3)Permission 0 / 30Nicola BezzoTBATBA
16858 007IND (3)Permission 0 / 30Haifeng XuTBATBA
16698 008IND (3)Permission 0 / 30Jonathan GoodallTBATBA
16699 009IND (3)Permission 0 / 30Kristen NaegleTBATBA
16795 010IND (3)Permission 0 / 30Kevin SkadronTBATBA
16871 011IND (3)Permission 0 / 30David EvansTBATBA
16774 012IND (3)Permission 1 / 30Panagiotis Apostolellis+1TBATBA
16822 013IND (3)Permission 1 / 30Yuan TianTBATBA
20992 014IND (3)Permission 1 / 30Michele ClaibournTBATBA
21073 015IND (3)Permission 1 / 30Seongkook HeoTBATBA
21284 016IND (3)Permission 1 / 30Rich NguyenTBATBA
21468 017IND (3)Permission 1 / 30Olivier PfisterTBATBA
21523 018IND (3)Permission 1 / 30Ku-Lung HsuTBATBA
21758 019IND (3)Permission 1 / 30Mona KasraTBATBA
21804 020IND (3)Permission 1 / 30Tariq IqbalTBATBA
 CS 6161 Design and Analysis of Algorithms
 Design & Analysis of Algorithms
19196 001Lecture (3)Open64 / 80Mohammad MahmoodyMoWe 3:30pm - 4:45pmThornton Hall E316
 CS 6316 Machine Learning
16613 001Lecture (3)Open116 / 120Yangfeng JiTuTh 5:00pm - 6:15pmOlsson Hall 120
 CS 6434 Dependable Computing Systems
20876 001Lecture (3)Open7 / 12Homa AlemzadehMoWe 2:00pm - 3:15pmRice Hall 340
 CS 6456 Operating Systems
16730 001Lecture (3)Open35 / 80Felix LinMoWe 9:30am - 10:45amOlsson Hall 018
 CS 6501 Special Topics in Computer Science
 Software Logic
 Type Theory and Applications
16104 001Lecture (3)Open 7 / 80Kevin SullivanTuTh 12:30pm - 1:45pmOlsson Hall 005
 Network Security and Privacy
19198 002Lecture (3)Closed65 / 65Yixin SunTuTh 3:30pm - 4:45pmOlsson Hall 009
 Cyber Forensics: Automated Software Approaches
21013 004Lecture (3)Open21 / 30Yonghwi KwonTuTh 12:30pm - 1:45pmRice Hall 032
 Engineering Interactive Technologies
21158 005Lecture (3)Closed22 / 20Seongkook HeoMoWeFr 1:00pm - 1:50pmOlsson Hall 011
 Interpretable Machine Learning
21360 006Lecture (3)Closed23 / 20Hanjie Chen+1TuTh 11:00am - 12:15pmRice Hall 340
 Computational Genomics
21634 007Lecture (3)Permission2 / 30Stefan Bekiranov+3TuTh 1:30pm - 3:00pmTBA
 Data Privacy
20757 008Lecture (3)Open31 / 35Tianhao WangMoWe 2:00pm - 3:15pmRice Hall 032
 CS 6763 Cyber-Physical Systems: Formal Methods, Safety and Security
20868 001Lecture (3)Open19 / 20Lu FengTuTh 2:00pm - 3:15pmThornton Hall E316
 CS 6888 Software Analysis and Applications
20614 001Lecture (3)Open23 / 30Mary SoffaTuTh 12:30pm - 1:45pmRice Hall 340
 CS 6890 Industrial Applications
16507 001IND (1)Open0 / 30John StankovicTBATBA
16554 002IND (1)Open0 / 30Alfred WeaverTBATBA
16859 003IND (1)Open1 / 30Haifeng XuTBATBA
21099 004IND (1)Open0 / 30Felix LinTBATBA
21399 005IND (1)Open1 / 30David EvansTBATBA
21531 006IND (1)Open1 / 30Brad CampbellTBATBA
 CS 6993 Independent Study
16068 001IND (1 - 12)Open1 / 10Nada BasitTBATBA
16116 002IND (1 - 12)Open0 / 10Mohammad MahmoodyTBATBA
16372 003IND (1 - 12)Open2 / 10Hongning WangTBATBA
16886 004IND (1 - 12)Open1 / 10Aidong ZhangTBATBA
21179 005IND (1 - 12)Open3 / 10Yonghwi KwonTBATBA
 CS 7501 Selected Topics in Computer Science
 Innovating for Defense
21462 001Lecture (3)Permission7 / 15Jack DavidsonMo 3:40pm - 6:40pmSlaughter Hall 262
 CS 7993 Independent Study
16901 001IND (1 - 12)Permission0 / 30Jundong LiTBATBA
15794 002IND (1 - 12)Permission0 / 30John StankovicTBATBA
15943 003IND (1 - 12)Permission0 / 5Yanjun QiTBATBA
16568 004IND (1 - 12)Permission1 / 30Mohammad MahmoodyTBATBA
16468 005IND (1 - 12)Permission0 / 30Jonathan GoodallTBATBA
16553 006IND (1 - 12)Permission2 / 30Yangfeng JiTBATBA
16121 007IND (1 - 12)Permission1 / 30Samira KhanTBATBA
16550 008IND (1 - 12)Permission0 / 30Marty HumphreyTBATBA
16904 009IND (1 - 12)Permission0 / 30Haiying ShenTBATBA
16536 010IND (1 - 12)Permission0 / 30Ahmed IbrahimTBATBA
16150 011IND (1 - 12)Permission0 / 30Vicente Ordonez-RomanTBATBA
16484 012IND (1 - 12)Permission0 / 30Andrew GrimshawTBATBA
16249 013IND (1 - 12)Permission0 / 30Lu FengTBATBA
16254 014IND (1 - 12)Permission1 / 30Madhur BehlTBATBA
16395 015IND (1 - 12)Permission0 / 30Upsorn PraphamontripongTBATBA
16299 016IND (1 - 12)Permission3 / 30Yuan TianTBATBA
16668 017IND (1 - 12)Permission1 / 30Ashish VenkatTBATBA
16686 018IND (1 - 12)Permission0 / 30Homa AlemzadehTBATBA
16701 019IND (1 - 12)Permission3 / 30Nicola BezzoTBATBA
16702 020IND (1 - 12)Permission0 / 30Kristen NaegleTBATBA
16703 021IND (1 - 12)Permission0 / 30Denis NekipelovTBATBA
16753 022IND (1 - 12)Permission 1 / 30Seongkook HeoTBATBA
16796 023IND (1 - 12)Permission1 / 30Kevin SkadronTBATBA
16860 024IND (1 - 12)Permission0 / 30Haifeng XuTBATBA
16865 025IND (1 - 12)Permission0 / 30Michael AlbertTBATBA
16875 026IND (1 - 12)Permission0 / 30David WuTBATBA
16885 027IND (1 - 12)Permission0 / 30Aidong ZhangTBATBA
16891 028IND (1 - 12)Permission0 / 30Anil VullikantiTBATBA
16894 029IND (1 - 12)Permission3 / 30Brad CampbellTBATBA
16896 030IND (1 - 12)Permission0 / 30Madhav MaratheTBATBA
21563 031IND (1 - 12)Permission1 / 30Felix LinTBATBA
21564 032IND (1 - 12)Permission1 / 30Afsaneh DoryabTBATBA
21923 033IND (1 - 12)Permission1 / 30Tianhao WangTBATBA
 CS 7995 Supervised Project Research
16539 001IND (3)Permission0 / 30Sebastian ElbaumTBATBA
16543 002IND (3)Permission0 / 30Rich NguyenTBATBA
16549 003IND (3)Permission0 / 30Nada BasitTBATBA
16556 004IND (3)Permission0 / 30Madhur BehlTBATBA
16569 005IND (3)Permission0 / 30Mohammad MahmoodyTBATBA
16576 006IND (3)Permission0 / 30Mary SoffaTBATBA
16578 007IND (3)Permission0 / 30Yangfeng JiTBATBA
16151 008IND (3)Permission0 / 30Vicente Ordonez-RomanTBATBA
16300 009IND (3)Permission1 / 30Yuan TianTBATBA
16687 010IND (3)Permission0 / 30Homa AlemzadehTBATBA
16704 011IND (3)Permission1 / 30Nicola BezzoTBATBA
16861 012IND (3)Permission0 / 30Haifeng XuTBATBA
16706 013IND (3)Permission0 / 30Jonathan GoodallTBATBA
16707 014IND (3)Permission0 / 30Kristen NaegleTBATBA
16708 015IND (3)Permission0 / 30Denis NekipelovTBATBA
16897 016IND (3)Permission0 / 30Madhav MaratheTBATBA
16754 017IND (3)Permission 0 / 30Seongkook HeoTBATBA
16797 018IND (3)Permission0 / 30Kevin SkadronTBATBA
21629 019IND (3)Permission0 / 30Ashish VenkatTBATBA
 CS 8501 Special Topics in Computer Science
 Internet of Things Security and Privacy
 IoT Security and Privacy
19199 002Lecture (3)Open3 / 20Yuan TianMoWe 12:30pm - 1:45pmRice Hall 340
 TBD
 Neural Network Verification
19201 003Lecture (3)Open11 / 20Matthew DwyerFr 1:30pm - 4:15pmRice Hall 340
 Robustness of Autonomous Systems
19202 004Lecture (3)Open6 / 10Sebastian ElbaumMoWe 9:30am - 10:45amRice Hall 340
 CS 8897 Graduate Teaching Instruction
15429 001IND (1 - 12)Permission0 / 20Jack DavidsonTBATBA
15534 002IND (1 - 12)Permission2 / 30David EvansTBATBA
15966 003IND (1 - 12)Permission2 / 10Mohammad MahmoodyTBATBA
15967 004IND (1 - 12)Permission0 / 10Connelly BarnesTBATBA
15535 005IND (1 - 12)Permission0 / 30Marty HumphreyTBATBA
15536 006IND (1 - 12)Permission0 / 30Kevin SkadronTBATBA
15537 007IND (1 - 12)Permission1 / 30Mary SoffaTBATBA
15538 008IND (1 - 12)Permission1 / 30John StankovicTBATBA
16255 009IND (1 - 12)Permission0 / 30Madhur BehlTBATBA
15864 010IND (1 - 12)Permission0 / 30Tom HortonTBATBA
15865 011IND (1 - 12)Permission0 / 30Jim CohoonTBATBA
15866 012IND (1 - 12)Permission0 / 30Mark SherriffTBATBA
15867 013IND (1 - 12)Permission0 / 30Aaron BloomfieldTBATBA
15868 014IND (1 - 12)Permission0 / 30Gabriel RobinsTBATBA
15968 015IND (1 - 12)Permission2 / 10Yanjun QiTBATBA
15869 016IND (1 - 12)Permission0 / 30Worthy MartinTBATBA
16256 017IND (1 - 12)Permission0 / 30Brad CampbellTBATBA
16064 018IND (1 - 12)Permission0 / 30David EdwardsTBATBA
15879 019IND (1 - 12)Permission0 / 10Cameron WhitehouseTBATBA
15980 020IND (1 - 12)Permission0 / 5Nada BasitTBATBA
16136 021IND (1 - 12)Permission0 / 10Mary SmithTBATBA
15984 022IND (1 - 12)Permission0 / 5Mark FloryanTBATBA
15985 023IND (1 - 12)Permission0 / 5Luther TychonievichTBATBA
16112 024IND (1 - 12)Permission0 / 20Hongning WangTBATBA
16122 025IND (1 - 12)Permission0 / 30Baishakhi RayTBATBA
16123 026IND (1 - 12)Permission0 / 30Samira KhanTBATBA
16152 027IND (1 - 12)Permission0 / 30Ahmed IbrahimTBATBA
16153 028IND (1 - 12)Permission0 / 30Charles ReissTBATBA
16154 029IND (1 - 12)Permission0 / 30Upsorn PraphamontripongTBATBA
16155 030IND (1 - 12)Permission0 / 30Kong-cheng WongTBATBA
16156 031IND (1 - 12)Permission0 / 30Dimitrios DiochnosTBATBA
16157 032IND (1 - 12)Permission0 / 30Abdeltawab HendawiTBATBA
16158 033IND (1 - 12)Permission0 / 30Kai-wei ChangTBATBA
16159 034IND (1 - 12)Permission0 / 30Vicente Ordonez-RomanTBATBA
16238 035IND (1 - 12)Permission1 / 30Lu FengTBATBA
16257 036IND (1 - 12)Permission0 / 30Nathan BrunelleTBATBA
16258 037IND (1 - 12)Permission0 / 30Quanquan GuTBATBA
16301 038IND (1 - 12)Permission1 / 30Yuan TianTBATBA
16526 039IND (1 - 12)Permission0 / 30Aidong ZhangTBATBA
16527 040IND (1 - 12)Permission0 / 30David WuTBATBA
16541 041IND (1 - 12)Permission0 / 30Rich NguyenTBATBA
16555 042IND (1 - 12)Permission0 / 30Alfred WeaverTBATBA
16559 043IND (1 - 12)Permission0 / 30Yonghwi KwonTBATBA
16562 044IND (1 - 12)Permission0 / 30Robbie HottTBATBA
16580 045IND (1 - 12)Permission0 / 30Michael FreenorTBATBA
16832 046IND (1 - 12)Permission0 / 30Ronald WilliamsTBATBA
16835 047IND (1 - 12)Permission0 / 30Ashish VenkatTBATBA
16838 048IND (1 - 12)Permission 2 / 30Seongkook HeoTBATBA
21097 049IND (1 - 12)Permission0 / 30Felix LinTBATBA
21630 050IND (1 - 12)Permission2 / 30Yixin SunTBATBA
21767 051IND (1 - 12)Permission1 / 30Yangfeng JiTBATBA
 CS 8999 Thesis
15430 001IND (1 - 12)Open 0 / 50Cameron WhitehouseTBATBA
15539 002IND (1 - 12)Open 0 / 30Jim CohoonTBATBA
15540 003IND (1 - 12)Open 1 / 30Jack DavidsonTBATBA
15541 004IND (1 - 12)Open 1 / 30David EvansTBATBA
15542 005IND (1 - 12)Open 0 / 30James FrenchTBATBA
15543 006IND (1 - 12)Open 0 / 30Andrew GrimshawTBATBA
15544 007IND (1 - 12)Open 0 / 30Sudhanva GurumurthiTBATBA
16160 008IND (1 - 12)Open 0 / 30Kai-wei ChangTBATBA
15545 009IND (1 - 12)Open 0 / 30Tom HortonTBATBA
15546 010IND (1 - 12)Open 0 / 30Marty HumphreyTBATBA
16161 011IND (1 - 12)Open 0 / 30Vicente Ordonez-RomanTBATBA
16259 012IND (1 - 12)Open 1 / 30Madhur BehlTBATBA
16125 013IND (1 - 12)Open 1 / 30Samira KhanTBATBA
15547 014IND (1 - 12)Open 0 / 30Worthy MartinTBATBA
15969 015IND (1 - 12)Open 2 / 30Mohammad MahmoodyTBATBA
15548 016IND (1 - 12)Open 0 / 30Gabriel RobinsTBATBA
15549 017IND (1 - 12)Open 0 / 30Abhi ShelatTBATBA
15550 018IND (1 - 12)Open 4 / 30Kevin SkadronTBATBA
15551 019IND (1 - 12)Open 0 / 30Mary SoffaTBATBA
15970 020IND (1 - 12)Open 0 / 30Connelly BarnesTBATBA
15552 021IND (1 - 12)Open 0 / 30John StankovicTBATBA
15553 022IND (1 - 12)Open 0 / 30Kevin SullivanTBATBA
15554 023IND (1 - 12)Open 0 / 30Alfred WeaverTBATBA
16260 024IND (1 - 12)Open 2 / 30Brad CampbellTBATBA
15955 025IND (1 - 12)Open 2 / 30Yanjun QiTBATBA
16057 026IND (1 - 12)Open 6 / 30Hongning WangTBATBA
16124 027IND (1 - 12)Open 0 / 30Baishakhi RayTBATBA
16239 028IND (1 - 12)Open 1 / 30Lu FengTBATBA
16261 029IND (1 - 12)Open 0 / 30Nathan BrunelleTBATBA
16262 030IND (1 - 12)Open 0 / 30Quanquan GuTBATBA
16302 031IND (1 - 12)Open 5 / 30Yuan TianTBATBA
16336 032IND (1 - 12)Open 0 / 30Homa AlemzadehTBATBA
16394 033IND (1 - 12)Open 0 / 30Farzad HassanzadehTBATBA
16396 034IND (1 - 12)Open 0 / 30Ahmed IbrahimTBATBA
16464 035IND (1 - 12)Open 0 / 30Kristen NaegleTBATBA
16890 036IND (1 - 12)Permission1 / 30Haiying ShenTBATBA
16469 037IND (1 - 12)Open 0 / 30Jonathan GoodallTBATBA
16474 038IND (1 - 12)Open 0 / 30Denis NekipelovTBATBA
16900 039IND (1 - 12)Permission1 / 30Tom FletcherTBATBA
16476 040IND (1 - 12)Open 0 / 30Kristen NaegleTBATBA
16515 041IND (1 - 12)Open 1 / 30Anil VullikantiTBATBA
16516 042IND (1 - 12)Open 4 / 30Madhav MaratheTBATBA
16521 043IND (1 - 12)Open 3 / 30Yonghwi KwonTBATBA
16528 044IND (1 - 12)Open 2 / 30Aidong ZhangTBATBA
16529 045IND (1 - 12)Open 1 / 30David WuTBATBA
16551 046IND (1 - 12)Open 2 / 30Sebastian ElbaumTBATBA
16564 047IND (1 - 12)Open8 / 30Yangfeng JiTBATBA
16669 048IND (1 - 12)Permission2 / 30Ashish VenkatTBATBA
16710 049IND (1 - 12)Permission0 / 30Nicola BezzoTBATBA
16755 050IND (1 - 12)Permission2 / 30Seongkook HeoTBATBA
16761 051IND (1 - 12)Permission2 / 30Matthew DwyerTBATBA
16786 052IND (1 - 12)Permission0 / 30Jundong LiTBATBA
16862 053IND (1 - 12)Permission1 / 30Haifeng XuTBATBA
21095 054IND (1 - 12)Permission0 / 30Felix LinTBATBA
21418 055IND (1 - 12)Permission1 / 30Judy FoxTBATBA
21438 056IND (1 - 12)Permission2 / 30Afsaneh DoryabTBATBA
21481 057IND (1 - 12)Permission1 / 30Yixin SunTBATBA
21540 058IND (1 - 12)Permission1 / 30Geoffrey FoxTBATBA
21857 059IND (1 - 12)Permission0 / 30Rich NguyenTBATBA
21680 060IND (1 - 12)Permission1 / 30Miaomiao ZhangTBATBA
 CS 9897 Graduate Teaching Instruction
15796 001IND (1 - 12)Permission0 / 30Jim CohoonTBATBA
15795 002IND (1 - 12)Permission0 / 30Aaron BloomfieldTBATBA
16139 003IND (1 - 12)Permission0 / 30Mary SmithTBATBA
16140 004IND (1 - 12)Permission0 / 30Luther TychonievichTBATBA
15797 005IND (1 - 12)Permission0 / 30Jack DavidsonTBATBA
15798 006IND (1 - 12)Permission0 / 30David EvansTBATBA
15799 007IND (1 - 12)Permission0 / 30James FrenchTBATBA
15800 008IND (1 - 12)Permission0 / 30Andrew GrimshawTBATBA
15801 009IND (1 - 12)Permission0 / 30Worthy MartinTBATBA
16138 010IND (1 - 12)Permission0 / 30David EdwardsTBATBA
15986 011IND (1 - 12)Permission0 / 30Mark FloryanTBATBA
15802 012IND (1 - 12)Permission0 / 30Tom HortonTBATBA
15803 013IND (1 - 12)Permission0 / 30Marty HumphreyTBATBA
15971 014IND (1 - 12)Permission0 / 30Mohammad MahmoodyTBATBA
16263 015IND (1 - 12)Permission0 / 30Madhur BehlTBATBA
16137 016IND (1 - 12)Permission0 / 30Nada BasitTBATBA
15972 017IND (1 - 12)Permission0 / 30Connelly BarnesTBATBA
15804 018IND (1 - 12)Permission0 / 30Abhi ShelatTBATBA
15805 019IND (1 - 12)Permission0 / 30Mark SherriffTBATBA
15806 020IND (1 - 12)Permission0 / 30Kevin SkadronTBATBA
15807 021IND (1 - 12)Permission0 / 30Mary SoffaTBATBA
15973 022IND (1 - 12)Permission1 / 30Yanjun QiTBATBA
15808 023IND (1 - 12)Permission0 / 30John StankovicTBATBA
15809 024IND (1 - 12)Permission 0 / 30Kevin SullivanTBATBA
15810 025IND (1 - 12)Permission0 / 30Alfred WeaverTBATBA
16264 026IND (1 - 12)Permission1 / 30Brad CampbellTBATBA
15844 027IND (1 - 12)Permission0 / 30Gabriel RobinsTBATBA
15845 028IND (1 - 12)Permission0 / 30Cameron WhitehouseTBATBA
16126 029IND (1 - 12)Permission0 / 30Baishakhi RayTBATBA
16127 030IND (1 - 12)Permission0 / 30Samira KhanTBATBA
16141 031IND (1 - 12)Permission0 / 30Kong-cheng WongTBATBA
16162 032IND (1 - 12)Permission0 / 30Ahmed IbrahimTBATBA
16163 033IND (1 - 12)Permission1 / 30Charles ReissTBATBA
16164 034IND (1 - 12)Permission0 / 30Upsorn PraphamontripongTBATBA
16165 035IND (1 - 12)Permission0 / 30David EdwardsTBATBA
16166 036IND (1 - 12)Permission0 / 30Mary SmithTBATBA
16167 037IND (1 - 12)Permission0 / 30Kong-cheng WongTBATBA
16168 038IND (1 - 12)Permission0 / 30Dimitrios DiochnosTBATBA
16169 039IND (1 - 12)Permission0 / 30Abdeltawab HendawiTBATBA
16170 040IND (1 - 12)Permission0 / 30Kai-wei ChangTBATBA
16171 041IND (1 - 12)Permission0 / 30Vicente Ordonez-RomanTBATBA
16223 042IND (1 - 12)Permission0 / 30Katherine HolcombTBATBA
16224 043IND (1 - 12)Permission0 / 30Thomas HallTBATBA
16240 044IND (1 - 12)Permission0 / 30Lu FengTBATBA
16265 045IND (1 - 12)Permission0 / 30Nathan BrunelleTBATBA
16266 046IND (1 - 12)Permission0 / 30Quanquan GuTBATBA
16303 047IND (1 - 12)Permission0 / 30Yuan TianTBATBA
16530 048IND (1 - 12)Permission0 / 30Aidong ZhangTBATBA
16531 049IND (1 - 12)Permission0 / 30David WuTBATBA
16563 050IND (1 - 12)Permission0 / 30Robbie HottTBATBA
16586 051IND (1 - 12)Permission1 / 30Daniel GrahamTBATBA
16833 052IND (1 - 12)Permission0 / 30Ronald WilliamsTBATBA
16836 053IND (1 - 12)Permission2 / 30Ashish VenkatTBATBA
16841 054IND (1 - 12)Permission4 / 30Yangfeng JiTBATBA
16863 055IND (1 - 12)Permission2 / 30Haifeng XuTBATBA
21098 056IND (1 - 12)Permission1 / 30Felix LinTBATBA
21801 057IND (1 - 12)Permission1 / 30Tianhao WangTBATBA
21869 058IND (1 - 12)Permission2 / 30Tom FletcherTBATBA
 CS 9999 Dissertation
15431 001IND (1 - 12)Open 0 / 50Marty HumphreyTBATBA
15555 002IND (1 - 12)Open 0 / 30Cameron WhitehouseTBATBA
15556 003IND (1 - 12)Open 0 / 30Alfred WeaverTBATBA
15557 004IND (1 - 12)Open 5 / 30John StankovicTBATBA
16172 005IND (1 - 12)Open 0 / 30Kai-wei ChangTBATBA
15558 006IND (1 - 12)Open 0 / 30Jim CohoonTBATBA
15559 007IND (1 - 12)Open 1 / 30Jack DavidsonTBATBA
15560 008IND (1 - 12)Open 4 / 30David EvansTBATBA
15561 009IND (1 - 12)Open 0 / 30James FrenchTBATBA
15562 010IND (1 - 12)Open 1 / 30Andrew GrimshawTBATBA
15563 011IND (1 - 12)Open 0 / 30Sudhanva GurumurthiTBATBA
15974 012IND (1 - 12)Open 0 / 30Mohammad MahmoodyTBATBA
15975 013IND (1 - 12)Open 0 / 30Connelly BarnesTBATBA
16267 014IND (1 - 12)Open 2 / 30Madhur BehlTBATBA
15564 015IND (1 - 12)Open 0 / 30Worthy MartinTBATBA
15976 016IND (1 - 12)Open 1 / 30Yanjun QiTBATBA
15565 017IND (1 - 12)Open 0 / 30Gabriel RobinsTBATBA
15566 018IND (1 - 12)Open 0 / 30Abhi ShelatTBATBA
15567 019IND (1 - 12)Open 6 / 30Kevin SkadronTBATBA
15568 020IND (1 - 12)Open 1 / 30Mary SoffaTBATBA
16173 021IND (1 - 12)Open 0 / 30Vicente Ordonez-RomanTBATBA
15569 022IND (1 - 12)Open 0 / 30Kevin SullivanTBATBA
15570 023IND (1 - 12)Open 0 / 30Westley WeimerTBATBA
16128 024IND (1 - 12)Open 0 / 30Baishakhi RayTBATBA
16129 025IND (1 - 12)Open 4 / 30Samira KhanTBATBA
16216 026IND (1 - 12)Open 5 / 30Hongning WangTBATBA
16229 027IND (1 - 12)Open 7 / 30Haiying ShenTBATBA
16241 028IND (1 - 12)Open 3 / 30Lu FengTBATBA
16268 029IND (1 - 12)Open 8 / 30Brad CampbellTBATBA
16269 030IND (1 - 12)Open 0 / 30Nathan BrunelleTBATBA
16270 031IND (1 - 12)Open 0 / 30Quanquan GuTBATBA
16304 032IND (1 - 12)Open 2 / 30Yuan TianTBATBA
16393 033IND (1 - 12)Open 2 / 30Farzad HassanzadehTBATBA
16517 034IND (1 - 12)Open 1 / 30Anil VullikantiTBATBA
16518 035IND (1 - 12)Open 3 / 30Madhav MaratheTBATBA
16522 036IND (1 - 12)Open1 / 30Yonghwi KwonTBATBA
16532 037IND (1 - 12)Open5 / 30Aidong ZhangTBATBA
16533 038IND (1 - 12)Open0 / 30David WuTBATBA
16537 039IND (1 - 12)Open4 / 30Matthew DwyerTBATBA
16538 040IND (1 - 12)Open4 / 30Sebastian ElbaumTBATBA
16581 041IND (1 - 12)Open1 / 30Ashish VenkatTBATBA
16787 042IND (1 - 12)Permission1 / 30Jundong LiTBATBA
16842 043IND (1 - 12)Permission3 / 30Yangfeng JiTBATBA
16864 044IND (1 - 12)Permission3 / 30Haifeng XuTBATBA
21096 045IND (1 - 12)Permission1 / 30Felix LinTBATBA
21324 046IND (1 - 12)Permission2 / 30Seongkook HeoTBATBA
21529 047IND (1 - 12)Permission4 / 30Yixin SunTBATBA
22177 048IND (1 - 12)Open1 / 30Michael AlbertTBATBA

Copyright © 2009–2024, Lou Bloomfield. All Rights Reserved