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
Not teaching this semester.
Deductive synthesis of sorting programs
Journal of Symbolic Computation, June 1989Nested Resolution, Proceedings of MADE 8
Advising: N/A