Arcadia University Mathematics and Pre-Engineering students Talha Zaid Kiani ’20 and Muhammad Moiz Saeed ’20 traveled to Washington University in St. Louis, Mo. during winter break to explore university options for the 3+2 program. Each received a new departmental scholarship to fund the experience...
Dr. Sheryl Smith and Dr. Carlos Ortiz, along with student coauthors Frederic J. Deuschle ’12, Lauren A. DiLorenzo ’12, Katie L. Goeller ’12, Christopher R. Macchi ’12, Sarah E. Muller ’13M, Brittany D. Pasierb ’13M, Joseph E. Sable ’11, Jessica M. Tucci ’12, and Marykathryn Tynon ’13M, were part of...
Although I have a degree in Civil Engineering, I decided to pursue graduate studies in pure mathematics. I got my Ph.D. in mathematics from the University of Wisconsin-Madison in 1997.
I have been very lucky to be at Arcadia University. I got to know, mentor and interact with a diverse body of students during my years here. Students have challenged and encouraged me to critically look at my teaching and mentoring, but more importantly, they have profoundly influenced my life outlook.
I have been interested in teaching and pedagogy since my undergraduate years and I participated in different pedagogical initiatives over my 20 years at Arcadia, including Calculus Reform, The Justice Collective, and the development of First Year Seminars at Arcadia. Presently I am interested in incorporating into the general curriculum of Arcadia the key tools of Big Data and Data Mining. I feel that proficiency in these areas will be essential to every college graduate in the very near future.
Over my years at Arcadia, I was also given the freedom and support to explore many areas of human knowledge where mathematics, and in particular model theory, can be applied. This has led me to work and publish in diverse areas of mathematics and different scientific fields such as Functional Analysis, Theoretical Computer Science, Genomics and Finance. Presently I do research in Finite Model Theory and in Finance. My project for the coming years is to learn and study neural networks and deep learning in A.I. from the viewpoint of finite model theory.
Areas Of Focus
Theoretical Computer Science, Finite model Theory, Applications of Logic to Functional Analysis, Applications of logic diverse fields such as to Finance Theory, International Math Education, Genomics.
Co-Authored with Leung W, Shaffer CD, Reed LK, Smith ST, et al
I am interested in theoretical computer science and in applications of model theory to different areas of mathematics as well as in other fields.
Currently I am working in descriptive complexity theory, which is an area of theoretical computer science that studies computational complexity classes from the point of view of finite model theory. My work focuses on developing tools to achieve separation of complexity classes by studying the model theory of finite-model logics associated with these classes. Some of my papers on this topic are:
1. Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets, with A. Arratia, Journal of Logic and Computation, 16 (2006), 817-840,
2. First Order Extensions of Residue Classes and Uniform Circuit Complexity, with A. Arratia, Logic, Language, Information and Computation, WoLLIC 2013, Lecture Notes in Computer Sciences (L. Libkin et al editors), 8071 (2013), 49-63.
I am also looking into applications of logic to classical mathematical fields. For my dissertation I explored the model theory of analytic structures by studying the possibility of obtaining classical model theoretic results, such as the Omitting Types Theorem, in a very expressive infinitary logic that includes negation, infinite conjunction and existential quantification over infinitely many variables. The main tool that I developed was the notion of approximate formulas for the formulas in this logic. Some of the results obtained can be found in:
1. An Omitting Types Theorem for Normed Spaces”, a paper that studies the existence of a powerful Omitting Types Theorem for the logic of approximate formulas in normed spaces. This paper appeared in the Annals of Pure and Applied Logic, 108 (2001),
2. "Uniform Versions of Infinitary Properties in Banach Spaces", a paper that studies the following situation: Suppose that there is a statement P true in all the metric structures of a class, under which conditions do we know that the "uniform version" of this statement holds? And what is the "uniform version"? The answer is that this situation holds for a very large set of properties (namely, the ones that are expressible in an infinitary language L). In this paper I also obtain a general recipe to obtain the “uniform” version of the formulas in the language L.
I have also done work in applications of mathematical logic to diverse fields such as Finance Theory and Genomics. With my colleagues at Arcadia we have also reflected on the internationalization of the mathematics curriculum at college level.