Logo Stamp
Download Résumé

Research student and software engineer with extensive experience in advanced mathematics and computer science. Particularly interested in web development, systems programming, compiler design, and reverse engineering. Proficient in managing large and complex projects, improving performance, and fostering community engagement.

The City College of New York

Expected May 2028
Bachelor of Science in Pure Mathematics, Minor in Computer Science

Academy for Software Engineering

Graduated June 2022
High School Diploma Honored The Computer Science Master Engineer Award
Discrete Mathematical Structures Data Structures Algorithms Software Design Laboratory Introduction to Theoretical Computer Science Methods of Numerical Analysis Programming Language Paradigms Theory of Numbers Elements of Linear Algebra Elements of Combinatorics Compiler Construction Computability Formal Languages and Automata Mathematical Optimization Techniques Computer Security

Linguistic Proficiencies

  • Native in speaking and writing in fluent English and Spanish.
  • Elementary understanding of French, Mandarin Chinese, and Japanese.

Leadership Qualities

  • Proven ability to manage and contribute to open-source, demonstrating initiative and commitment to community.
  • Active host and participant of various math and computer science communities in both online and offline spaces.

Taylor | Graham

taylorandgraham.comFull Stack Developer
From June 2025 to Present
Taylor Graham is a fine art gallery with an extensive history in curating artworks since the late 19th century.
  • Created an entirely new frontend website and backend server focusing on better performance and global accessibility while keeping complete feature parity with the previous website’s forms and page routes.
  • Engineered automated backend services to enhance customization and manageability for internal staff.
  • Migrated all artwork and artist information from old CMS using incremental and durable workflows.

Pincast

pincast.fmFull Stack Developer
From April 2025 to August 2025
Pincast is a location-based social platform played out in the real world.
  • Coordinated the design and development of the website and mobile application to ensure a cohesive experience.

Spot Pet Market

spotpetmarket.comFounding Developer
From June 2023 to Present
Spot Pet Market is a marketplace for pets, where users can buy and sell multiple breeds and kinds of pets.
  • Aggregated and localized information about multiple breeds and kinds of pets into a unified database.
  • Created an entire marketplace platform, complete with multiple account types, public listings, private messaging, internal content moderation, and secure financial transactions for buying and selling pets.
  • Developed an admin and moderation dashboard to manage users, listings, posts, and transactions.

The Recurse Center

recurse.comFellow
From June 2022 to August 2022
The Recurse Center is a highly selective, self-directed, educational retreat for programmers.
  • Focused on improving my technical and speaking skills while supporting a community of developers.
  • Hosted topics such as end-to-end testing for web applications to teach to industry professionals.
  • Competitively innovated new domain-specific languages, and procedural compile-time code generation.

Woven by Toyota

woven.toyotaSoftware Engineering Intern
From January 2022 to March 2022
Woven by Toyota is an innovative company that builds a platform for mobility and location intelligence.
  • Developed a fully responsive analytics dashboard featuring interactive maps with corresponding video recordings and error logs that identifies real-world changes and events for autonomous vehicles.
  • Presented solutions to issues within existing website wireframe diagrams and user interface designs.
  • Engineered new back-end services to process and manage data for other services and products.

UPenn REPL

penn-repl.github.ioUndergraduate Student Researcher
From May 2024 to August 2024
UPenn REPL is a research experience in programming languages for undergraduate students pursuing a PhD.
  • Collaborated with leading researchers to develop new novel methods for property-based testing.
  • Conducted comprehensive research on advanced topics in practical and theoretical computer science with experts in the field, focusing on innovative type systems and various kinds of lambda calculi.
  • Created interactive presentations to teach concepts to undergraduates, graduates, and professors.

Koffi

github.com/lemueldls/koffiCreator
From May 2026 to Present
Koffi is a cross-platform framework and integrated ecosystem for Rust × Kotlin Multiplatform projects.
  • Designed solutions for interoperability between Rust and Kotlin code using various platform targets.

Kurou Pet

github.com/acm-ccny/kurou-petMentor
From March 2026 to May 2026
Kurou Pet is an interactive desktop pet for staying focused on work and taking breaks to exercise.
  • Initiated meetings with my mentees to define technical requirements, project scope, and availability.
  • Organized the entire project timeline and milestone deadlines using industry work management tools.

Rubify

github.com/lemueldls/rubifyCreator
From January 2026 to March 2026
Rubify is a program made to automatically annotate any font with ruby characters.
  • Implemented annotations of ruby characters for the romanization of Mandarin Chinese and Japanese.
  • Published fonts compiled from multiple different families annotated with all supported romanizations.
  • Engineered a custom font collection builder and optimizations to manage distribution of large files.

ccny.acm.org

github.com/acm-ccny/websiteCreator
From August 2024 to May 2028
ACM @ CCNY is a student-led computer science club and ACM college chapter at the City College of New York.
  • Board member of the Association for Computing Machinery chapter at the City College of New York.
  • Developed a workshop creation platform that features a website editor, multiple choice question games, synchronized slides presentations, and personal subdomains for individual students to host on.
  • Created entire website with a fully integrated admin dashboard used to create and manage club events.

Ezno

github.com/kaleidawave/eznoContributor
From March 2024 to February 2025
Ezno is a fast and correct TypeScript type checker and compiler with additional experiments.
  • Resolved issues with property checking and subtype comparisons for class and object assignments.
  • Introduced initial support for regular expressions, focusing on constant string pattern evaluations.
  • Extended functionality of the language server to support use and development on multiple platforms.

Mnemo

github.com/lemueldls/mnemoCreator
From June 2023 to Present
Mnemo is a local-first note-taking app leveraging the Typst ecosystem.
  • Implemented a custom rich text editor leveraging the Typst ecosystem for writing and styling notes.
  • Used mnemonic memory techniques to help users remember information and improve overall learning.
  • Created a builtin calendar and tasks manager deeply integrated with UI for faster reminder creation.
  • Developed cloud-based synchronization system that allows accessing notes across multiple devices.

Kaetram

github.com/KaetramCore Developer
From November 2019 to January 2025
Kaetram was an open-source MMORPG game built with modern web standards and cutting-edge technologies.
  • Maintained the project as a core developer, working on the game engine and it’s multiple clients.
  • Managed a community of more than 4,000 users worldwide, and organized global development efforts.
  • Predominantly led the long-term development and maintenance of core game engine components, first introducing testing, linting, and documentation, improving game performance and stability.

synquid-rs

github.com/lemueldls/synquid-rsCreator
From May 2024 to August 2024
Synquid is a program synthesizer that uses refinement types to generate functional programs.
  • Reimplemented Synquid in Rust, improving overall performance of the original Haskell implementation.

LMT

github.com/lemueldls/lmtCreator
From March 2024 to June 2024
LMT is a proof-oriented meta-programming and specification language.
  • Designed a novel programming language and method of synthesizing program specifications from types.

avast

github.com/lemueldls/avastCreator
From April 2023 to January 2024
avast is an error reporting library that specializes in easy to read and write error construction.
  • Designed an ergonomic API for constructing and reporting errors in Rust applications.

re-set

github.com/lemueldls/re-setCreator
From February 2023 to January 2024
re-set is a regular expression (regex) set compiler that validates and constructs regexes at compile-time.
  • Beat the performance of the regex crate in certain benchmarks when testing speed and memory usage.
  • Utilized compile-time pattern expansion to improve performance of matching string data at runtime.

pyret-rs

github.com/lemueldls/pyret-rsCreator
From April 2022 to January 2024
Pyret is an educational programming language originally developed at Brown University.
  • Ported the language to Rust, improving the overall performance and extensibility of the language.
  • Created a non-deterministic finite automaton (NFA) for regular expressions, taking advantage of compile-time pattern expansion to improve performance of matching string data at runtime.
  • Invented a new lexer and parser abstraction using the NFA, allowing for a more modular design.

MyBook

github.com/lemueldls/mybook.studyCore Developer
November 2023
MyBook was a website to automatically convert textbooks into study material, like flash cards, using AI.
  • Led the development of the project under a deadline, working on the frontend, backend, and database.
  • Used the Nougat OCR to parse and process the text, tables, and math of textbooks into study material.

My AFSE

github.com/lemueldls/my_afseCreator
From January 2018 to May 2022
My AFSE was an application that helped students better navigate at the Academy for Software Engineering.
  • Provided students with a holistic view of their academic standing and visual areas for improvement.
  • Developed a web and mobile application that integrated grading systems, attendance tracking, class schedules, news, and events, improving student organization when better options were not available.
  • Adapted to remote learning by moving the community online and automating reminders for classes.

Switchcord

github.com/lemueldls/switchcordCreator
From May 2021 to October 2021
Switchcord was a desktop application that allowed Discord Rich Presence for Nintendo Switch games.
  • Imported game data to Discord, allowing users to showcase their gameplay activity in real-time.

discordo

github.com/lemueldls/discordoCreator
June 2021
discordo was a collection of BetterDiscord plugins, most notably, the DeveloperOptions plugin.
  • Created a plugin for developer options, allowing users to inspect elements and debug plugins/themes.

due

github.com/lemueldls/dueCreator
From May 2020 to September 2020
due was one of the first frameworks for Vue.js 3 built using Deno 1.
  • Developed a lightweight framework for building Vue.js 3 applications using Deno 1 and Skypack.

Iridis

github.com/lemueldls/iridisCreator
From February 2020 to February 2020
Iridis was a Discord bot that was built using early artificial intelligence.
  • Built a Discord bot that used early artificial intelligence to respond to user messages.

Association for Computing Machinery

ccny.acm.orgVice President
From August 2024 to May 2028
ACM @ CCNY is a student-led computer science club and ACM college chapter at the City College of New York.
  • Board member of the Association for Computing Machinery chapter at the City College of New York.
  • Developed a workshop creation platform that features a website editor, multiple choice question games, synchronized slides presentations, and personal subdomains for individual students to host on.
  • Created entire website with a fully integrated admin dashboard used to create and manage club events.

Google Developer Groups on Campus

gdg.community.devOrganizer
From January 2024 to Present
Google Developer Groups are community groups for developers to learn, share, and get help.
  • Organized events and workshops for students to learn about modern technology and communication.

BYTE Hacks 2025

bytehacks.orgOrganizer
September 2025
BYTE Hacks 2025 was a 24-hour hackathon hosted by the BYTE cohort leaders of the ACM chapter at CCNY.
  • Organized food, check-in, signage, and relocations for incoming and existing hackathon partitipants.
  • Mentored hackathon participants with insights about software and hardware industry technologies.
  • Type-based Synthesis of Sound and Complete Random Generators

    tbsscrg.pdf
    August 1, 2024
    A Presentation for the Penn REPL 2024 REU, Advised by Harry Goldstein and Benjamin Pierce.