research • publications • software • people • misc • contact