Jonathan C Traugott Faculty Profile

Jonathan  C  Traugott

Lecturer

Department of Computer Science

  • 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
Fall Semester 2024
Course #SecCourse TitleDaysFromToLocationCampus
CS 20101Computer Science IIM2:00PM3:15PMSC-N336
CS 21101Discrete StructuresARRWEB-ASYNCH
CS 21104Discrete StructuresARRWEB-ASYNCH
MATH 21101Discrete StructuresARRWEB-ASYNCH
MATH 21104Discrete StructuresARRWEB-ASYNCH

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

 

Nested Resolution, Procedings of CADE 8  

 

 

Advising: N/A