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
Fall Semester 2026
Course # Sec Course Title Days From To Location Campus MATH 211 01 Discrete Structures TH 2:45PM 4:00PM SC-N220 Hayward Campus CS 211 04 Discrete Structures W 12:30PM 1:45PM SC-N108 Hayward Campus CS 211 01 Discrete Structures TH 2:45PM 4:00PM SC-N220 Hayward Campus CS 311 04 Programming Language Concepts W 2:00PM 3:15PM AE-0378 Hayward Campus MATH 211 04 Discrete Structures W 12:30PM 1:45PM SC-N108 Hayward 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