![]() ![]() Mellon Professor, University of Pittsburgh Thackeray 416 412-624-8375 Email: MYLASTNAME AT PITT DOT EDU I suppose you are two fathoms deep in mathematics, and if you are, then God help you, for so am I, only with this difference, I stick fast in the mud at the bottom and there I shall remain. -Charles Darwin Don't use manual procedures -Andrew Hunt and David Thomas and ... don't rely on social processes for verification -David Dill Recent
Teaching, Thesis supervision, and Local
Research (Representation theory, formal proofs, motivic integration, discrete geometry)
External Search
License: This site is licensed under creative commons. Help yourself! |

