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: 10:20am - 12:20pm, Tue: 10:50am - 11:50am
- M.S. Computer Science, Stanford University
- M.S. Mathematics, CSUEB
- B.S. Mathematical Sciences, Stanford University
- B.A. Philosophy, Stanford University
- Baccalaureate 'C', Lyc茅e Victor Louis, Balance, FR
| Course # | Sec | Course Title | Days | From | To | Location | Campus |
|---|---|---|---|---|---|---|---|
| MATH 211 | 02 | Discrete Structures | TU | 9:30AM | 10:45AM | AE-0238 | |
| CS 211 | 02 | Discrete Structures | TU | 9:30AM | 10:45AM | AE-0238 | |
| MATH 211 | 03 | Discrete Structures | W | 12:30PM | 1:45PM | SC-N206 | |
| CS 211 | 03 | Discrete Structures | W | 12:30PM | 1:45PM | SC-N206 | |
| CS 311 | 04 | Programming Language Concepts | W | 2:00PM | 3:15PM | SC-N206 |
Deductive synthesis of sorting programs
Journal of Symbolic Computation, June 1989
Nested Resolution, Proceedings of MADE 8
Advising: N/A