Rank
Chairperson
Associate Professor
Educational Background
B.S., City College of New York
M.S., New York University
M.A., New York University
Ph.D., New York University
Interests
Mathematical logic
Lambda calculus
Automated deduction
History of the automation of reasoning
Courses Taught
CUS 1154: Event Driven Programming
CUS 1186: Theory of Computation
CUS 1187: Finite Automata and Formal Languages
CUS 1188: Analysis of Algorithms
MTH 1015: Numerical Analysis
MTH 1017: Mathematical Logic
MTH 1018: Differential Equations
Office
Bent Hall, Rm. 228
(718) 990-6473
fechterr@stjohns.edu