This is the research blog of Blair MacIntyre, a professor at Georgia Tech.