Ronald W. Fechter, Ph.D.

Associate Professor
Chair, 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 progam 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
1102
SOFTWARE APPLICATION ON THE PC
CUS
1104
PRESENTATION GRAPHICS
CUS
1107
COM APPLICATIONS IN LAW OFFICE
CUS
1154
EVENT DRIVEN PROGRAMMING
CUS
1186
THEORY OF COMPUTATION
CUS
1187
FINITE AUTOMATA & FORMAL LANGS
CUS
1188
ANALYSIS OF ALGORITHMS
MTH
1003
INTRO TO COLLEGE MATH I
MTH
1004
INTRO TO COLLEGE MATH II
MTH
1008
MATRIX METHODS
MTH
1009
CALCULUS I
MTH
1010
CALCULUS II
MTH
1014
PROBABILITY AND STATISTICS II
MTH
1015
NUMERICAL ANALYSIS
MTH
1017
MATHEMATICAL LOGIC
MTH
1018
DIFFERENTIAL EQUATIONS
MTH
1021
INTRODUCTION TO STATISTICS
PHY
1001
THE PHYSICAL UNIVERSE