## William Ernest Mansky

**Email Address:** mansky1@uic.edu**College:** Engineering **Department:** Computer Science

**Title:** Assistant Professor

**Office:** 1331

**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.

### Return to Computer Science list

### Return to Departments list