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 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