Research output per year
Research output per year
Personal profile
Research interests
Algebra, Category Theory, Algebraic Geometry, Proof Assistants/Interactive Theorem Provers, Formal Verification
Related documents
Education/Academic qualification
Mathematics, Doctor of Philosophy, The Geometry of Derived Categories on Noncommutative Projective Schemes, University of South Carolina
Aug 1 2012 → May 12 2018
Award Date: May 12 2018
Mathematics, Master of Science, University of Vermont
Aug 1 2009 → May 22 2011
Award Date: May 22 2011
Computer Science, Bachelor of Science
Aug 1 2005 → May 16 2009
Award Date: May 16 2009
External positions
Assistant Professor, University of Louisiana at Monroe
Aug 10 2020 → May 10 2024
Visiting Assistant Professor, Lafayette College
Jul 1 2018 → Jun 30 2020
ASJC Scopus Subject Areas
- Algebra and Number Theory
- Geometry and Topology
Disciplines
- Algebraic Geometry
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Fostering Growth Mindsets: Implementing Standards-Based Grading in College Algebra
Farman, B. A., Clifton, A., Long, W. C. & Cruse, K. C., 2025, 2025 ASEE Annual Conference Exposition.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Work in Progress: First-Year Engineering Students’ Confidence in Communicating Mathematical Content
Clifton, A. W., Fendley, M., Farman, B. & Coriell, J., 2025, In: ASEE Annual Conference and Exposition, Conference Proceedings.Research output: Contribution to journal › Conference article › peer-review
-
Work in Progress: First-Year Engineering Students' Confidence in Communicating Mathematical Content
Clifton, A. W., Fendley, M., Farman, B. & Coriell, J., 2025, 2025 ASEE Annual Conference Exposition.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Kernels for noncommutative projective schemes
Ballard, M. & Farman, B., 2021, In: Journal of Noncommutative Geometry. 15, 4, p. 1129-1180 52 p.Research output: Contribution to journal › Article › peer-review