Employee

return to employee directory

Jonathan Traugott
profile icon

Jonathan Traugott
Instructor
Department: Computer Science
phone 510.798.0027
location Building 2000, Room 2029 - 1st floor
office hours icon My Office Hours
qr code
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/
Jonathan Traugott
qr code
Jonathan Traugott
Instructor
Department: Computer Science
phone 510.798.0027
location Building 2000, Room 2029 - 1st floor
office hours icon My Office Hours
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/