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

Education

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

Courses

Not teaching this semester.

Publications

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

Service

Advising: N/A