Colm O'Herlihy's scientific contributions