Iian Smythe

Education

• Ph.D. in Mathematics, Cornell University, 2011-present
• B.Sc.(Hons.) in Pure Mathematics (minor in Philosophy), University of Manitoba, 2007-2011

Research interests

• Set theory, descriptive set theory, mathematical logic, functional analysis

Academic honors

• Cornell University Graduate Fellowship, 2012-2013
• NSERC Postgraduate Scholarship PGS-M, 2011-2012
• NSERC Alexander Graham Bell Canada Graduate Scholarship CGS-M, 2011 (declined: not tenable outside of Canada)
• NSERC Undergraduate Summer Research Award, 2009, 2010, 2011

Notes and preprints

• Decompositions of the automorphism group of a locally compact abelian group. Preprint. arXiv:1110.1923v1 [math.GN]. 2011.

Talks and presentations

• Boolean algebras and Stone duality (July 22, 2013, Logic Workshop, Cornell)
• MOOCs and trends in online education (March 27, 2013, Teaching Seminar, Cornell)
• Complexity hierarchies in mathematics (with Scott Messick) (April 10, 2013, Logic Workshop, Cornell)
• Classifying classification (March 8, 2013, Olivetti Club, Cornell) [poster] [slides]
• A crash course in descriptive set theory (February 25, 2013, Logic Workshop, Cornell)
• It's all fun and games... (September 4, 2012, Olivetti Club, Cornell) [poster] [notes]
• A crash course in topological groups (November 8, 2011, Olivetti Club, Cornell) [poster] [slides]
• Backwards and forwards: A taste of model theory (June 2011, Canadian Undergraduate Mathematics Conference, Université Laval) [slides]
• Dr. Zorn's Lemma, or: How I learned to stop worrying and love the Axiom of Choice (July 2010, Canadian Undergraduate Mathematics Conference, University of Waterloo) [slides]

Graduate level coursework and seminars

• Fall 2013
• MATH 7810 — Seminar in Logic: Proper Forcing
• MATH 7840 — Recursion Theory: The Turing Degrees
• Spring 2013
• MATH 7320 — Geometry of Solvable Groups
• MATH 7820 — Seminar in Logic: Countable Borel Equivalence Relations
• MATH 7870 — Set Theory
• Fall 2012
• MATH 6520 — Differentiable Manifolds
• MATH 7810 — Seminar in Logic: Computable Model Theory
• MATH 7840 — Recursion Theory: Recursively Enumerable Sets and Degrees
• Spring 2012
• MATH 6320 — Algebra II
• MATH 7130 — Functional Analysis
• MATH 7830 — Model Theory
• Fall 2012
• MATH 6110 — Real Analysis
• MATH 6310 — Algebra I
• MATH 7850 — Topics in Logic: Descriptive Set Theory

Teaching experience

• Fall 2013
• Instructor: MATH 1110 — Calculus I
• Summer 2013
• TA/Grader: Summer Mathematics Institute course in abstract algebra
• Fall 2012 — Spring 2013
• Speaker/Project supervisor: Ithaca High School Senior Seminar in Mathematics
• Fall 2008 — Spring 2011
• TA/Grader: Various 1000-level mathematics courses at the University of Manitoba including calculus and linear algebra

Professional membership

• American Mathematical Society (student member)
• Association for Symbolic Logic (student member)