COMPUTER SCIENCE DEPARTMENT
 
Dr. Timothy McNicholl
Ph.D. (The George Washington University)
Research Interests: Computability, Computable analysis, Complex analysis
Email: timothy.h.mcnicholl at gmail.com
Phone: 880-8797
Room: 86
Teaching Materials
Real Computation. Download
Foundations of Computer Science. Download
Algorithms. Download
Header file. Download To compile latex files, you will need to download this file and change path in \input command of latex file.
Recent Talks
Computing conformal maps onto circular domains, Special Session on Constructive Mathematics, AMS Southeastern Sectional Meeting, 2009. Slides
Computing conformal maps onto canonical slit domains, Sixth International Conference on Computability and Complexity in Analysis, Ljubljana, Slovenia, 2009. Slides
Technical report: computation on the extended complex plane and conformal mapping of multiply connected domains, Fifth International Conference on Computability and Complexity in Analysis, Hagen, Germany, 2008.
Computable aspects of inner functions, The George Washington University, 2007.
Uniformly computable aspects of inner functions, Fourth International Conference on Computability and Complexity in Analysis, Siena, Italy, 2007. Slides
Computational issue in the theory of bounded analytic functions, International Conference on Infinity in Logic and Computation, Cape Town, South Africa, 2007.
Computability and the implicit function theorem, Third International Conference on Computability and Complexity in Analysis, Gainesville, Florida, 2006.
Computability and Blaschke products, University of Texas at Dallas, 2006.
Reverse math and partitions of trees, AMS-ASL Special Session on Reverse Mathematics, 2005.
SELECTED PUBLICATIONS AND PREPRINTS
Computable analysis
V.V. Andreev and T.H. McNicholl, "Computing conformal maps of finitely connected domains onto canonical slit domains". Submitted. Preprint
D. Daniel, T.H.McNicholl, Effective versions of local connectivity properties, Subimtted. Preprint
V.V. Andreev, D. Daniel, and T. H. McNicholl, Computing conformal maps onto circular domains, Submitted. Preprint
V.V.Andreev and T. H. McNicholl, Computing interpolating sequences, Theory of Computing Systems, volume 26, no. 2, pages 340 - 350.
V.V. Andreev and T.H. McNicholl, Computing conformal maps onto canonical slit domains, CCA 2009, Sixth International Conference on Computability and Complexity in Analysis (A. Bauer, R. Dillhage, P. Hertling, K. Ko, and R. Rettinger, eds.), vol. 353, Informatik Berichte, no. 7, Fern- in Hagen, 2009, pp. 23-34.
A. Matheson and T.H. McNicholl, Computable analysis and Blaschke products, Proceedings of the American Mathematical Society 136 (2008), no. 1, 321 - 332.
T. H. McNicholl, Uniformly computable aspects of inner functions: estimation and factorization, Mathematical Logic Quarterly 54 (2008), no. 5, 508-518.
T.H. McNicholl, A uniformly computable implicit function theorem, Mathematical Logic Quarterly 54 (2008), no. 3, 272 -279.
Computable model theory.
J. Chisholm, J. Chubb, V. Harizanov, D. Hirschfeldt, C. Jockusch, T. H. McNicholl, and S. Pingrey, ∏^0- 1 classes and strong degree spectra, The Journal of Symbolic Logic 72 (2007), no. 3, 1003 - 1018.
T.H. McNicholl, Intrinsic reducibilities, Mathematical Logic Quarterly 46 (2000), no. 3, 393 - 407.
Reverse mathematics.
J. Chubb, J. Hirst, and T. H. McNicholl, Reverse math, computability, and partitions of trees, Journal of Symbolic Logic 74 (2009), no. 1, 201-205.
Strong degree structures.
T.H. McNicholl, Effective embeddings into strong degree structures, Mathematical Logic Quarterly 49 (2003), no. 3, 219- 229.
Bounded query classes.
T.H. McNicholl, On the convergence of query-bounded computations and logical closure properties of c.e. sets, The Journal of Symbolic Logic 66 (2001), no. 4, 1543 - 1560.
R. Beigel, W. Gasarch, M. Kummer, G. Martin, T.H. McNicholl, and F. Stephan, The complexity of ODDn a , The Journal of Symbolic Logic 66 (2000), 1 - 18.
T.H. McNicholl, On the commutativity of jumps, The Journal of Symbolic Logic 65 (2000), no. 4, 1725 - 1748.

© 2006-2008 Computer Science Department - Lamar University
A Member of The Texas State University System