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: W 2-4pm, Th 4:10-5:10pm Sc-N 148B
- M.S. Computer Science, Stanford University
- M.S. Mathematics, CSUEB
- 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 211 | 01 | Discrete Structures | ARR | WEB-ASYNCH | Hayward Campus | ||
| CS 211 | 02 | Discrete Structures | ARR | WEB-ASYNCH | Hayward Campus | ||
| CS 413 | 01 | Analysis of Algorithms | ARR | WEB-ASYNCH | Online Campus | ||
| MATH 211 | 01 | Discrete Structures | ARR | WEB-ASYNCH | Online Campus | ||
| MATH 211 | 02 | Discrete Structures | ARR | WEB-ASYNCH | Hayward Campus |
Deductive synthesis of sorting programs
Journal of Symbolic Computation, June 1989
https://www.sciencedirect.com/science/article/pii/S0747717189800409
Nested Resolution, Procedings of CADE 8 https://cadeinc.org/
https://en.wikipedia.org/wiki/Resolution_(logic)#Non-clausal_resolution
Advising: N/A