Ronald W. Fechter, Ph.D.

Associate Professor
Associate Professor, Division of Computer Science, Mathematics and Science in CPS, from 2005 to 2014, and from 2015 to the present. Led my division in several curricular developments, including the introduction of two new BS degree programs, in Cyber Security Systems, and Healthcare Informatics, and the introduction of an MS degree program in Data Mining and Predictive Analytics. Introduced several courses at St. John’s in theoretical computer science. Conducted doctoral research under the supervision of Martin Davis at the Courant Institute of New York University. My Ph.D. dissertation, completed in 1991, is titled, “Skolem Functions, Hilbert’s Epsilon Symbol, and the Lambda Calculus.” Published an article in 1991 with Professor Davis, titled “An Embedding of the Type-Free Lambda Calculus in a Free Variable Version of the First-Order Predicate Calculus.”

Teaching Interests

Mathematical Logic Theory of Computation Analysis of Algorithms Finite Automata Theory Differential Equations Numerical Analysis

Research Interests

Automated Deduction Lambda Calculus and Logic Embedding Theorems Non-Standard Analysis History of the Automation of Reasoning Foundations of Mathematics Intuitionism and mathematics education

Courses Taught

CUS
1186
THEORY OF COMPUTATION
MTH
1003
INTRO TO COLLEGE MATH I
MTH
1004
INTRO TO COLLEGE MATH II
MTH
1017
MATHEMATICAL LOGIC
MTH
1018
DIFFERENTIAL EQUATIONS