William Ernest Mansky

    Email Address: mansky1@uic.edu
    College: Engineering Department: Computer Science
    Title: Assistant Professor
    Office: 1331
    Webpage: https://www.cs.uic.edu/~mansky/
    Participating in the Chancellor’s Undergraduate Research Awards program: No

    Research Interest:
    I work in the areas of programming languages, program verification, and concurrency. My research projects involve using interactive theorem provers to build mathematical proofs that programs execute correctly, and developing the theory needed to describe how programs execute. Current projects include modeling I/O and concurrency behavior of C programs, developing logics for concurrent programs, and proving the correctness of real-world programs such as web servers and databases.

    Minimum time commitment in hours per week: 5

    Qualifications of a Student:
    Good basic logic skills (propositional logic, proof by induction) are a must. Exposure to functional programming is helpful.

    Brief Summary of what is expected from the student:
    Learn to use interactive theorem-proving software to prove correctness of programs. Read related research papers. Complete a project, most likely involving proving the correctness of a program of interest.

    Contact researcher via URE Email Webform

    Return to Computer Science list

    Return to Departments list