• Main Return to main page, with introductory and contact information.
  • Curriculum Vitae PDF download.
  • Teaching Information and resources relating to teaching work.
  • Publications Published and submitted papers.
Teaching Information.

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

Webpage designed and copyright ©2018-26 by Ivan Avramovic
Last updated: Jan 29, 2026