Mathematics, CS, physics, philosophy Most recently : Teaching logic and philosophy of mathematics in the Philosophy department at the University of Bristol