Jonathan C Traugott Faculty Profile
Jonathan C Traugott
Lecturer
Department of Computer Science
- E-mail: jonathan.traugott@csueastbay.edu
- Phone: 510-798-0027
- Office: Sc-N 148B
- Office Hours: Th 4:05pm - 4:55pm Sc-N 148B and Sat 8-10AM on Zoom 207 685 6449
- M.S. Computer Science, Stanford University
- M.S. Mathematics, ÂÌñ»»ÆÞ
- B.S. Mathematical Sciences, Stanford University
- B.A. Philosophy, Stanford University
- Baccalauréat 'C', Lycée Victor Louis, Talance, FR
Course # | Sec | Course Title | Days | From | To | Location | Campus |
---|---|---|---|---|---|---|---|
CS 201 | 01 | Computer Science II | M | 2:00PM | 3:15PM | SC-N336 | |
CS 211 | 01 | Discrete Structures | ARR | WEB-ASYNCH | |||
CS 211 | 04 | Discrete Structures | ARR | WEB-ASYNCH | |||
MATH 211 | 01 | Discrete Structures | ARR | WEB-ASYNCH | |||
MATH 211 | 04 | Discrete Structures | ARR | WEB-ASYNCH |
Deductive synthesis of sorting programs
Journal of Symbolic Computation, June 1989
Nested Resolution, Procedings of CADE 8
Advising: N/A