Teaching Information.

Course Name Section(s) Semester Resources
CS330 Formal Methods and Models 002, 005 Spring 2024 Course syllabus
CS330 Formal Methods and Models 003, 005 Fall 2023 Course syllabus
CS483 Analysis of Algorithms 007 Fall 2023 Course syllabus
CS330 Formal Methods and Models 001, 002, 004 Spring 2023 Course syllabus
CS367 Computer Systems and Programming 004 Fall 2022 Course syllabus
CS483 Analysis of Algorithms 003, 004 Fall 2022 Course syllabus
CS367 Computer Systems and Programming 001, 002, 004 Spring 2022 Course syllabus
CS330 Formal Methods and Models DL1 Fall 2021 Course syllabus
CS367 Computer Systems and Programming 003, 004 Fall 2021 Course syllabus
CS330 Formal Methods and Models DL1 Spring 2021 Course syllabus
CS367 Computer Systems and Programming 001, 002 Spring 2021 Course syllabus
CS330 Formal Methods and Models 001, 002, 003 Fall 2020 Course syllabus
CS211 Object Oriented Programming 001, 003, P01, P02 Spring 2020 Course syllabus
CS330 Formal Methods and Models 003 Spring 2020 Course syllabus
CS100 Principles of Computing 001 Fall 2019 Course syllabus
CS211 Object Oriented Programming 005, 006, P01 Fall 2019 Course syllabus
CS330 Formal Methods and Models B01 Summer 2019 Course syllabus
CS330 Formal Methods and Models 001 Spring 2019 Course syllabus
CS211 Object Oriented Programming 002, 003, P01 Spring 2019 Course syllabus
CS262 Intro to Low Level Programming 003 Fall 2018
CS211 Object Oriented Programming 004, 006 Fall 2018 Course syllabus
HAP618 Computational Tools in Health Informatics 001 Summer 2018
CS330 Formal Methods and Models 002 Spring 2018 Course syllabus


Webpage designed and copyright ©2018-24 by Ivan Avramovic
Last updated: Jan 15, 2024