JonathanCTraugott Faculty Profile
Jonathan C Traugott
Lecturer
- jonathan.traugott@csueastbay.edu
- 510-798-0027
- Sc-N 148B
- M: 3:20pm - 4:20pm (Zoom https://csueb.zoom.us/my/traugott.cs ), Tue: 10:50am - 11:50am (Sc-N 148B) , Wed: 11:20am - 12:20pm (Sc-N 148B)
- M.S. Computer Science, Stanford UniversityM.S. Mathematics, CSUEBB.S. Mathematical Sciences, Stanford UniversityB.A. Philosophy, Stanford UniversityBaccalaureate 'C', Lycée Victor Louis, Balance, FR
Fall Semester 2025
Course # Sec Course Title Days From To Location Campus MATH 211 03 Discrete Structures W 12:30PM 1:45PM SC-N206 Hayward Campus CS 311 04 Programming Language Concepts W 2:00PM 3:15PM SC-N206 Hayward Campus MATH 211 02 Discrete Structures TU 9:30AM 10:45AM AE-0238 Hayward Campus CS 211 02 Discrete Structures TU 9:30AM 10:45AM AE-0238 Hayward Campus CS 211 03 Discrete Structures W 12:30PM 1:45PM SC-N206 Hayward Campus Deductive synthesis of sorting programs
Journal of Symbolic Computation, June 1989https://www.sciencedirect.com/science/article/pii/S0747717189800409
Nested Resolution, Proceedings of MADE 8 https://cadeinc.org/
https://en.wikipedia.org/wiki/Resolution_(logic)#Non-clausal_resolution
Advising: N/A