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

The City College of New York

Expected May 2027
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 Numerical Issues in Scientific Computing 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 Set Theory Mathematical Optimization Techniques Combinatorics and Graph Theory Computer Security

Linguistic Proficiencies

  • Native in speaking and writing in English and Spanish, with an elementary understanding of French.

Leadership Qualities

  • Skilled in leading teams, fostering collaboration, and driving projects towards a successful goal.
  • Experienced in organizing and hosting events such as hackathons, meetings, and technical workshops.

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 the new website, emphasizing improved performance, accessibility, and user experience.
  • 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.

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 a 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 responsive analytics dashboard with interactive maps, corresponding video feeds, and error logs, that identifies real-world changes and events for autonomous vehicles on the road.
  • 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.

Kaetram 2.x

kaetram.comCore Developer
From January 2025 to Present
Kaetram is a cross-paltform MMORPG game built using the Godot game engine.
  • Managing a community of more than 4,000 users worldwide, organizing global development efforts.

ccny.acm.org

github.com/lemueldls/ccny.acm.orgCreator
From August 2024 to Present
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 Present
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 note-taking application that helps users format and remember information effectively.
  • Implemented a custom rich text editor, using 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 system, deeply integrated with UI for faster reminder creation.
  • Developed cloud-based synchronization system, allowing access to notes across multiple devices.

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.

avast

github.com/lemueldls/avastCreator
From April 2023 to May 2023
avast is an error reporting library that specializes in easy to read and write error construction.

re-set

github.com/lemueldls/re-setCreator
From February 2023 to April 2023
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.

Kaetram 1.x

github.com/KaetramCore Developer
From November 2019 to January 2024
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 1,000 users worldwide, and organized global development efforts.
  • Predominantly led the long-term development and maintenance of core game engine components, primarily through testing, linting, and documentation, improving game performance and stability.

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.

discordo

github.com/lemueldls/discordoCreator
June 2021
discordo was a collection of BetterDiscord plugins, most notably, the DeveloperOptions plugin.

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.

Iridis

github.com/lemueldls/iridisCreator
From February 2020 to February 2020
Iridis was a Discord bot that was built using artificial intelligence.

Association for Computing Machinery

ccny.acm.orgSecretary
From August 2024 to Present
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.devTech Lead
From January 2024 to Present
Google Developer Groups are community groups for developers to learn, share, and get help.
  • 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.