Premkumar Devanbu at UC Davis works in this area. I've taken his graduate course on the subject.