University of Illinois Chicago
Search
University of Illinois Chicago
William Mansky
  • Research
  • Publications
  • Research Group
  • Teaching
  • Contact
  • UIC.edu
  • Campus Map

William Mansky

UIC Computer Science

Teaching

View Menu Down arrow icon

Courses

  • Spring 2024: CS 472, Provably Correct Programming
  • Fall 2023: CS 476, Programming Language Design
  • Spring 2023: CS 474, Object-Oriented Languages
  • Fall 2022: CS 476, Programming Language Design
  • Spring 2022: CS 494, Provably Correct Programming
  • Fall 2021: CS 476, Programming Language Design
  • Spring 2021: CS 473, Compiler Design
  • Spring 2020: CS 473, Compiler Design
  • Fall 2019: CS 476, Programming Language Design
  • Spring 2019: CS 494 SF, Software Foundations
  • Fall 2018: CS 476, Programming Language Design
University of Illinois Chicago

Contact

Social Media Accounts

  • UIC.edu
  • Academic Calendar
  • Athletics
  • Campus Directory
  • Disability Resources
  • Emergency Information
  • Event Calendar
  • Job Openings
  • Library
  • Maps
  • UIC Safe Mobile App
  • UIC Today
  • UI Health
  • Veterans Affairs
  • Report a Concern
Powered by Red 3.0.51
© 2025 The Board of Trustees of the University of Illinois | Privacy Statement
  • University of Illinois System
  • Urbana-Champaign
  • Springfield
  • Chicago