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: TTH 2-3pm, Sat 9-9:50am ZOOM 2076856449
- 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 411 | 01 | Automata and Computation | TTH | 11:00AM | 1:40PM | WEB-SYNCH |
Deductive synthesis of sorting programs
Journal of Symbolic Computation, June 1989
Nested Resolution, Procedings of CADE 8
Advising: N/A