The late Seán Flynn was education editor of The Irish Times. He was previously security correspondent and Europe correspondent.