Faculty and Staff

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/

BA, University of Texas at Austin; MSCS, California State University, Hayward. I spent 14 years as a senior software engineer working on retail point-of-sale systems for hardware stores and home centers. I also wrote two books (user manuals for my company's software). I taught at CSUH (now CSUEB for some reason) for five years and have been teaching at Chabot since 2000. I retired January 1, 2023.