Bill Harris
Assistant Professor
CV
Georgia Institute of Technology
College of Computing
School of Computer Science
Office: KACB 2322
wharris@cc.gatech.edu


News

Activities

Research

Right now, writing a mostly-functioning program is hard enough, and writing a completely secure program is often practically impossible. I oversee the Trustable Programming (TAP) Group, which extends and applies techniques from program analysis and synthesis to make these problems tractable.

Projects

PhD Students

Masters Students

Undergraduate Students

Past Undergraduate Students

Invited papers

Refereed papers

Talks

Teaching

This Site

The layout of this site is (pretty obviously) based directly on webpages designed and developed by Prof. Matt Might. If you are interested in using the layout for your own purposes, please contact him to request permission.