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: M: 3:20pm - 4:20pm (Zoom https://csueb.zoom.us/my/traugott.cs ), Tue: 10:50am - 11:50am (Sc-N 148B) , Wed: 11:20am - 12:20pm (Sc-N 148B)
  • M.S. Computer Science, Stanford University
  • M.S. Mathematics, ÂÌñ»»ÆÞ
  • B.S. Mathematical Sciences, Stanford University
  • B.A. Philosophy, Stanford University
  • Baccalaureate 'C', Lycée Victor Louis, Balance, FR
Fall Semester 2025
Course #SecCourse TitleDaysFromToLocationCampus
CS 31104Programming Language ConceptsW2:00PM3:15PMSC-N206
MATH 21103Discrete StructuresW12:30PM1:45PMSC-N206
CS 21102Discrete StructuresTU9:30AM10:45AMAE-0238
MATH 21102Discrete StructuresTU9:30AM10:45AMAE-0238
CS 21103Discrete StructuresW12:30PM1:45PMSC-N206

Deductive synthesis of sorting programs
Journal of Symbolic Computation, June 1989

  

Nested Resolution, Proceedings of MADE 8  

 

 

Advising: N/A