Employee

Education M.S. Computer Science, Stanford University M.S. Mathematics, CSUEB B.S. Mathematical Sciences, Stanford University B.A. Philosophy, Stanford University Baccalauréat 'C', Lycée Victor Louis, Talance, FR Publications Deductive synthesis of sorting programs Journal of Symbolic Computation https://www.sciencedirect.com/science/article/pii/S0747717189800409 Nested Resolution, Procedings of CADE 8 https://cadeinc.org/ https://en.wikipedia.org/wiki/Resolution_(logic)#Non-clausal_resolution Synthesis of Sorting Algorithms, Procedings of CADE 8 https://cadeinc.org/