Franklin Pezzuti Dyer
Junior, University of New Mexico at Albuquerque
franklin@dyer.me
franklin.dyer.me
TA/grader for MATH 375 Numerical Computing class, with Professor Jacob Schroder and Gleb Zhelezov, Fall 2021.
Research assistantship at UNM's Hand and Machine research lab. Co-author of paper published in TEI showcasing ExtruderTurtle 3D printing library.
Research project investigating how the choice of crossover operator affects the performance of a genetic algorithm. Follow-up investigation in this blog post.
Browser-based Bookworm Adventures, a silly word-building RPG combat game. See here for documentation.
Pretty browser-based Brainf••k interpreter. Appeared on Hacker News.
Personal blog. Dyamically generates and serves blog posts on a variety of topics using a Python-Bottle web-app.
I'm looking for projects in the following areas:
Functional programming and proof verification. I'd really like to learn more about Dependent Type Theory and how it can be used for mathematical theorem-proving and software verification.
Cybersecurity and finding vulnerabilities in networks or operating systems.
Educational apps intended to make advanced math/science concepts accessible to a wider audience.
Counselor for PROMYS 2022, where I mentored high-schoolers in number theory and abstract algebra and gave mini-courses on a variety of topics such as type theory and model theory
TA/grader for MATH 375 Numerical Computing class, with Professor Jacob Schroder and Gleb Zhelezov, Fall 2021
Undergraduate representative of UNM's Directed Reading Program
ASSURE research fellowship in Fluid Dynamics with Professor Monika Nitsche at UNM
Among the top 0.75% of contributors to Mathematics Stack Exchange, a Q&A site for mathematicians from the high-school to the postgraduate level. Profile page can be found here.
Alumnus of PROMYS 2018, a mathematics program at Boston University covering number theory, algebra, geometry, and advanced topics.
Qualified for AIME by placing in top 2% of AMC scores, 2018-2019 school year.
1st place in Tennessee (perfect score) on Calculus and Advanced Topics TMTA math competition, 2017-2018 school year.
I've written many blog posts that attempt to explain interesting mathematical problems/concepts to make them accessible to a larger audience.
All things analysis. Favorite topics include definite integration, infinite series, and elliptic functions/integrals.
Math foundations. Set theory, order theory, model theory and category theory.
Information theory. Measuring the information content of language, theoretic strategies of data compression and error correction.
Class Name | Date | Grade |
---|---|---|
Sistemas Operativos/Operating Systems | Fall 2022 | 9,4 (matrícula de honor) |
Fundamentos de Redes/Network Fundamentals | Fall 2022 | 9,1 |
Modelos de Computación/Models of Computation | Fall 2022 | 10,0 (matrícula de honor) |
Procesadores de Lenguajes/Language Processors | Fall 2022 | 8,45 |
Programación y Diseño Orientado a Objetos/Object-oriented Programming and Design | Fall 2022 | 9,1 (matrícula de honor) |
Topología 1/Topology 1 | Fall 2022 | 9,8 (matrícula de honor) |
Class Name | Date | Grade |
---|---|---|
Arabic 2 Intensive | Spring 2022 | A+ |
Graduate Numerical Linear Algebra | Spring 2022 | A |
Graduate Topics in Algebra and Number Theory | Spring 2022 | A+ |
Computer Architecture | Spring 2022 | A |
Functional Programming | Spring 2022 | A+ |
Arabic 1 Intensive | Fall 2021 | A+ |
Graduate Real Analysis 1 | Fall 2021 | A+ |
Fourier Analysis and Wavelets | Fall 2021 | A+ |
Computational Immunology | Fall 2021 | A+ |
Data Organization | Fall 2021 | A+ |
Independent Study with Professor Nitsche | Summer 2021 | A+ |
Class Name | Date | Grade |
---|---|---|
Intermediate Programming | Spring 2021 | A+ |
Computer Logic Design | Spring 2021 | A+ |
Introduction to Linguistic Analysis | Spring 2021 | A+ |
Introduction to Numerical Computing | Spring 2021 | A+ |
Nonlinear Dynamics and Chaos | Spring 2021 | A |
Computer Programming Fundamentals | Fall 2020 | A+ |
Calculus III | Fall 2020 | A+ |
Linear Algebra with Applications | Fall 2020 | A+ |
Metaphysics | Fall 2020 | A |
Introduction to World Religions | Fall 2020 | A |
Class Name | Date | Grade |
---|---|---|
Introduction to Ethics (ETSU) | Spring 2020 | A |
Civilization of Spain (ETSU) | Spring 2020 | A |
Advanced German Grammar (ETSU) | Spring 2020 | A |
Linear Algebra (ETSU) | Fall 2019 | A |
British Literature to 1785 (ETSU) | Fall 2019 | A |
Summer Intensive Introductory German (UChicago) | Summer 2019 | A |
Calculus-Based Probability and Statistics (ETSU) | Fall 2018 | A |
Intro to Music (ETSU) | Fall 2018 | A |
Subject | Score |
---|---|
Research | 5 |
Biology | 5 |
Chemistry | 5 |
English Language and Composition | 5 |
Macroeconomics | 5 |
Microeconomics | 5 |
Seminar | 5 |
Spanish Language and Culture | 5 |
Statistics | 5 |
U.S. Government and Politics | 5 |
Calculus BC | 5 |
Physics 1 | 5 |
Physics 2 | 5 |
Physics C: Electricity and Magnetism | 5 |
Physics C: Mechanics | 5 |
U.S. History | 5 |
Test Name | Score |
---|---|
SAT Composite | 1580 |
SAT English | 790 |
SAT Math | 790 |
PSAT Composite | 1500 |
PSAT English | 740 |
PSAT Math | 760 |
ACT Composite | 36 |
ACT Math | 36 |
ACT Science | 36 |
ACT English | 36 |
ACT Reading | 35 |
ACT Writing | 11 |
National Merit Finalist (2019-2020)
National AP Scholar (2018-2019)
STREAMWORKS 20 under 20 award winner (2019-2020)
Founder and former president of a discussion-based philosophy club; previous meeting topics and summaries can be found here (2019-2020)
President of school math club and branch of Mu Alpha Theta (2019-2020)
Helped organize local middle school math competition hosted by Science Hill High School and Mu Alpha Theta by writing and editing test questions and grading tests (2017-2020)