Flags on campus lowered for Professor Emeritus Batchelor