Courses

Identifier Title Semester Year
COM S 410 Distributed Development of Software Fall 2020
COM S 412 Formal Methods in Software Engineering Spring 2019
COM S 412 Formal Methods in Software Engineering Spring 2020
COM S 413 Foundations and Applications of Program Analysis Spring 2020
COM S 413 Foundations and Applications of Program Analysis Spring 2019
COM S 414 Gerontechnology in Smart Home Environments Fall 2019
COM S 414 Gerontechnology in Smart Home Environments Fall 2020
COM S 414 Gerontechnology in Smart Home Environments Fall 2018
COM S 415 Software System Safety Spring 2020
COM S 415 Software System Safety Spring 2019
COM S 417 Software Testing Fall 2019
COM S 417 Software Testing Fall 2020
COM S 417 Software Testing Fall 2018
COM S 418 Introduction to Computational Geometry Spring 2020
COM S 418 Introduction to Computational Geometry Spring 2019
COM S 421 Logic for Mathematics and Computer Science Fall 2019
COM S 421 Logic for Mathematics and Computer Science Fall 2020
COM S 421 Logic for Mathematics and Computer Science Fall 2018
COM S 425 High Performance Computing for Scientific and Engineering Applications Spring 2020
COM S 425 High Performance Computing for Scientific and Engineering Applications Spring 2019
COM S 430 Advanced Programming Tools Spring 2020
COM S 430 Advanced Programming Tools Spring 2019
COM S 433 Computational Models of Nanoscale Self-Assembly Fall 2019
COM S 433 Computational Models of Nanoscale Self-Assembly Fall 2020
COM S 433 Computational Models of Nanoscale Self-Assembly Fall 2018

Pages