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 CS 211 02 Discrete Structures W 12:30PM 1:45PM SC-N206 Hayward Campus MATH 211 02 Discrete Structures W 12:30PM 1:45PM SC-N206 Hayward Campus CS 413 01 Analysis of Algorithms ARR WEB-ASYNCH Online Campus Deductive synthesis of sorting programs
Journal of Symbolic Computation, June 1989Nested Resolution, Proceedings of the Conference on Automated Deduction (CADE 8)
Advising: N/A