معرفی
Henry Towsner is a Professor of Mathematics and Undergraduate Chair in the Department of Mathematics at the University of Pennsylvania. His research focuses on mathematical logic, proof theory, combinatorics, and their applications. He holds an office at 4N51 DRL and can be contacted via email or phone. His work bridges foundational mathematics with combinatorial and analytical methods, particularly in hypergraph regularity, reverse mathematics, and epsilon substitution.
Research Interests: Towsner’s research spans proof theory, reverse mathematics, combinatorics (including hypergraph regularity and Ramsey theory), and applications of logic to analysis. He explores foundational questions in logic while developing tools for extracting computational content from proofs. His work on ultraproducts and exchangeable structures connects model theory with probability theory.
Recent Trends in Articles: His publications from 2023-2017 highlight advancements in hypergraph regularity, Borel combinatorics, and proof-theoretic methods. Key themes include algorithmic extraction from proofs, nonalgorithmic combinatorial proofs, and applications of logic to functional analysis. His work often intersects with computability theory and effective bounds in algebraic structures.
Advising and Grants: While specific grant details are not listed, his active research program suggests involvement in NSF or institutional grants typical for a senior faculty member. He advises graduate students in logic and combinatorics, though specific names are not provided in the text.
Labs/Teams: No dedicated lab is mentioned, but his collaborations span pure mathematics disciplines, including work with researchers in combinatorics, functional analysis, and set theory. His research group likely engages in interdisciplinary projects within the mathematics department.
