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, 黑料福利网B.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