Skills

Programming languages

C
C++
HTML and CSS
Javascript
Python
SQL
Haskell
Java
Typescript
Bash
C#
Idris
MATLAB
R
Scheme
Agda

Technologies

Docker
Git
Linux
LaTeX
Microsoft Windows
Nginx
Websockets
Wireshark
Burp Suite
Mailgun
Microsoft Visual Studio
DNS
GCODE

Spoken languages

English
Spanish (DELE C1)
German

Experience

Software developer

Viento Modeling, Simulation and Analysis, August 2024 - present

Led development of a plugin in C++ for agent-based operational modeling software
Designed supporting software, unit tests and integration tests in C++, C#, Javascript and Python
Containerized both simulation software and supporting software and managed deployments using Docker and k8s

Teaching assistant and grader

University of New Mexico, January 2021 - May 2024

Graded functional programming, numerical computing, discrete mathematics and introductory Java homeworks
Wrote software in Scheme and Haskell to auto-grade some homeworks and automate repetitive tasks
Held office hours and recitations to provide students with one-on-one help

Technical specialist

University of New Mexico, July 2023 - May 2024

Used R and glmnet package to manipulate large columnar datasets efficiently
Implemented modified elastic net regression algorithm for project by modifying skikit-learn Python package
Statistically analyzed CIC-IDS-2018 and other open-source network intrusion datasets

Counselor

PROMYS, July 2022 - August 2022

Met regularly with high-school students to give feedback on proof-writing and discuss topics in number theory
Designed mini-courses and seminars on special topics like formal logic, model theory and type theory

ASSURE research fellow

University of New Mexico, January 2022 - May 2022

Used numerical computation techniques to approximate fluid flow past surfaces
Wrote technical report and presented results at undergraduate research symposium

Research assistant

Hand and Machine Lab at University of New Mexico, July 2021 - August 2022

Developed ExtruderTurtle Python library to generate GCODE for 3D-printed solids using the Turtle paradigm
Presented findings at TEI 2022 conference and UNM Computational Fabrication seminar

Projects

Personal website (link)

Developed, maintained and deployed a full-stack web site hosted on a DigitalOcean droplet
Migrated site to Cloudflare Pages and implemented a minimal custom-written static site generator
Wrote educational posts on a variety of technical topics involving math, computer science and languages

Abstractionary (link)

Implemented a multiplayer word game similar to Taboo, in which players must use only the highest-frequency English words
Dockerized and deployed public instance of Abstractionary on DigitalOcean droplet

Agora (link)

Developed a full-stack open-source blogging and social media application
Deployed a beta instance of the site to conduct functional testing, security testing and acceptance testing

Open-source contributions

Top one percent of contributors to Math Stackexchange, a mathematics question-and-answer site
Advanced contributor to Tatoeba, an open-source database of sentences and translations in many of the world's languages
Contributed translator plugins to Zotero, an open-source software for generating and organizing academic citations

Education

University of New Mexico

B.S. Computer Science and Mathematics double major

Spring 2024

Course title	Grade
Cybersecurity	A
Graduate Abstract Algebra II	A
Graduate Real Analysis II	A
German Literary History	A

Fall 2023

Course title	Grade
Graduate Algorithms and Data Structures	A+
Introduction to Information Studies	A
Probability	A+
Introduction to ODEs	A
Graduate Abstract Algebra I	A+
Graduate Complex Analysis I	A+

Spring 2022

Course title	Grade
Arabic 2 Intensive	A+
Graduate Numerical Linear Algebra	A
Graduate Topics in Algebra and Number Theory	A+
Computer Architecture	A
Functional Programming	A+

Fall 2021

Course title	Grade
Arabic 1 Intensive	A+
Graduate Real Analysis 1	A+
Fourier Analysis and Wavelets	A+
Computational Immunology	A+
Data Organization	A+

Spring 2021

Course title	Grade
Intermediate Programming	A+
Computer Logic Design	A+
Intro to Linguistic Analysis	A+
Intro to Numerical Computing	A+
Nonlinear Dynamics and Chaos	A

Fall 2020

Course title	Grade
Computer Programming Fundamentals	A+
Calculus III	A+
Linear Algebra with Applications	A+
Metaphysics	A
Intro to World Religions	A

Universidad de Granada

Two semesters of studies abroad

Spring 2023

Course title	Grade
Información Cuántica y Aplicaciones	9,9 (matrícula de honor)
Transmisión de Datos y Redes de Computadoras	9,1 (matrícula de honor)
Algorítmica	7,0 (notable)
Desarrollo de Software	9,5 (sobresaliente)
Ética Informática y Sociedad de la Información	9,7 (matrícula de honor)

Fall 2022

Course title	Grade
Sistemas Operativos	9,4 (matrícula de honor)
Fundamentos de Redes	9,1 (sobresaliente)
Modelos de Computación	10,0 (matrícula de honor)
Procesadores de Lenguajes	8,45 (sobresaliente)
Programación y Diseño Orientado a Objetos	9,1 (matrícula de honor)
Topología 1	9,8 (matrícula de honor)

Franklin Pezzuti Dyer's CV