Summary

Software developer with a strong background in mathematics and computer science. Particularly interested in compiler design, web development, and procedural generation. Proficient in managing large and complex projects, improving code performance, and fostering community engagement.

Education

The City College of New York

Expected May 2028
Bachelor of Science in Computer Science and Pure Mathematics

Academy for Software Engineering

Graduated June 2022
Honored The Computer Science Master Engineer Award

Relevant Courses

Discrete Mathematical Structures, Probability and Statistics for Computer Science, Data Structures, Algorithms, Theory of Numbers, Intro to Theoritical Computer Science, Programming Language Paradigms, Numerical Issues in Scientific Computing, Combinatorics and Graph Theory, Compiler Construction, Computability, Elements of Linear Algebra, Methods of Numerical Analysis, Mathematical Optimization Techniques, and Formal Languages and Automata

Qualifications

Technical Skills

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.

Experience

Pincast

pincast.fmChief Technical Officer
From April 2025 to Present
Pincast is a location-based social platform played out in the real world.

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.

Research

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 very in-depth 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.

BeaversCode.club

github.com/lemueldls/beaverscode.clubCreator
From August 2024 to Present
Beavers Code is a student-led computer science club and ACM college chapter at the City College of New York.
  • Board member of Beavers Code, the ACM chapter at CCNY, managing technical development efforts.
  • 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.

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.
  • Processed and localized information about multiple breeds and kinds of pets into a common database.

[M]nemo

github.com/lemueldls/mnemoCreator
From June 2023 to Present
[M]nemo 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.

Affiliations

Beavers Code (ACM @ CCNY)

beaverscode.clubSecretary
From August 2024 to Present
Beavers Code is a student-led computer science club and ACM college chapter at the City College of New York.
  • Board member of Beavers Code, the ACM chapter at CCNY, managing technical development efforts.
  • 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.