Postdoctoral Research Scientist BRICS, Department of Computer Science, University of Aarhus, Denmark NEC Research Institute, Princeton, NJ.