Title: Advanced Computing Research Institute, Theory Center, Cornell University, semi-annual research activity report