JonathanCTraugott Faculty Profile
Jonathan C Traugott
Lecturer
- jonathan.traugott@csueastbay.edu
- 510-798-0027
- Sc-N 148B
- W: 10:00am - Noon (SC-N 148B) Zoom: https://csueb.zoom.us/j/2076856449
- M.S. Computer Science, Stanford UniversityM.S. Mathematics, CSUEBB.S. Mathematical Sciences, Stanford UniversityB.A. Philosophy, Stanford UniversityBaccalaureate 'C', Lycée Victor Louis, Talance, FR
Spring Semester 2026
Course # Sec Course Title Days From To Location Campus MATH 211 02 Discrete Structures W 12:30PM 1:45PM SC-N215 Hayward Campus CS 413 01 Analysis of Algorithms ARR WEB-ASYNCH Online Campus CS 211 02 Discrete Structures W 12:30PM 1:45PM SC-N215 Hayward Campus Deductive synthesis of sorting programs
Journal of Symbolic Computation, June 1989https://www.sciencedirect.com/science/article/pii/S0747717189800409
Nested Resolution, Proceedings of the Conference on Automated Deduction (CADE 8) https://cadeinc.org/
https://en.wikipedia.org/wiki/Resolution_(logic)#Non-clausal_resolution
Advising: N/A