School of Mathematical and Statistical Sciences
Mail Code 4408
Southern Illinois University
1245 Lincoln Drive
Carbondale, Illinois 62901
Office: (618) 453-6582
Fax: (618) 453-5300
Home: (618) 985-3429
Mobile: (618) 534-8457
[email protected]

Here you will find a copy of my cv.

In Fall 2023, I am teaching

• MATH 349: Discrete Mathematics (Syllabus in CM) (Syllabus in ODL)
• MATH 403: Basic Short-Term Actuarial Mathematics (Syllabus in CM) (Syllabus in ODL
• MATH 514: Teaching Undergraduate Mathematics (Syllabus in CM) (Syllabus in ODL

Information on classes from previous terms is available here.

I created the course MATH 492: Industrial and Applied Mathematics Clinic, and have served as director of the Saluki Analytics Lab. In both of these structures SIUC undergraduate students, primarily in the mathematical and statistical sciences, provide technical consulting services for clients including Ameren, Naval Surface Warfare Center (Crane), The Women's Center, and a regional healthcare provider. If you are a student and want to participate in these experiences, or if your organization has a problem you'd like our students to work on, please let me know.

My research is in the area of mathematical logic. Some preprints are listed below. Other preprints may be found here.

One of my major projects recently is a book on Mathematical Logic and Probability. Drafts of some portions of the book are available here.

• "Strong jump inversion," with A. Frolov, V. Harizanov, J. F. Knight, C. F. D. McCoy, A. Soskova, and S. Vatev, Journal of Logic and Computation 28 (2018) 1499--1522.
• "Densely computable structures," with D. Cenzer and V. Harizanov, Journal of Logic and Computation 32 (2022) 581--607.
• "Interpreting a field in its Heisenberg group," with R. Alvir, G. Goodman, V. Harizanov, J. Knight, A. Morozov, R. Miller, A. Soskova, and R. Weisshaar, Journal of Symbolic Logic 87 (2022) 1215--1230.
• "Structural highness notions," with J. N. Y. Franklin and D. Turetsky, accepted for publication in Journal of Symbolic Logic
• "Generically and Coarsely Computable Isomorphisms," with D. Cenzer and V. Harizanov, accepted for publication in Computability

I am glad to talk with students about the possibility of undergraduate or graduate research projects. I am open to thinking about a broad range of topics, but some ideas for graduate thesis work may be found here

• I am organizing an Online Logic Seminar that meets by Zoom on Thursdays at 1:00pm US Central Time (currently UTC-5).
• I have worked extensively in the area of mathematical professional development for in-service and pre-service K-12 teachers. Those looking to better equip themselves or teachers under their supervision for the enormous content knowledge demands of modern standards-based teaching would do well to call upon me or my colleagues at the SIUC Center for STEM Education Research.
• I also work in the area of informal STEM education. I am STEM Coordinator for the Egyptian District (Greater St. Louis Area Council) of the Boy Scouts of America. Some of my work with BSA has been reported here.