Summary

Software developer with a very strong background in mathematics and computer science, particularly interested in compiler design, web development, and procedural generation. Skilled in developing innovative software solutions, collaborating on research projects, and leading teams. Proficient in managing complex projects, improving code performance, and fostering community engagement. Strong leadership qualities with experience in organizing events and workshops. Profoundly interested in advancing knowledge in compiler design through research and practical applications.

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

  • Languages:
    • HTML5 HTML5
    • CSS3 CSS3
    • Sass Sass
    • JavaScript JavaScript
    • TypeScript TypeScript
    • Rust Rust
    • Dart Dart
    • Python Python
    • Ruby Ruby
    • Haskell Haskell
  • Tooling:
    • Git Git
    • PostgreSQL PostgreSQL
    • MongoDB MongoDB
    • Node.js Node.js
    • Deno Deno
    • Bun Bun
    • Vite Vite
    • esbuild esbuild
    • rollup.js rollup.js
    • Webpack Webpack
  • Frameworks:
    • Tailwind CSS Tailwind CSS
    • Vue.js Vue.js
    • React React
    • Nuxt Nuxt
    • Next.js Next.js
    • Astro Astro
    • Electron Electron
    • Tauri Tauri
    • Ionic Ionic
    • Flutter Flutter
  • Infrastructure:
    • Linux Linux
    • Cloudflare Cloudflare
    • Amazon Web Services AWS
    • Docker Docker
    • GitHub Actions GitHub Actions
    • Supabase Supabase
    • Firebase Firebase
    • Convex

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

The Recurse Center

recurse.comFellow
From June 2022 to August 2022
The Recurse Center is a highly selective, self-directed, educational retreat for programmers.
  • HTML5 HTML5
  • CSS3 CSS3
  • JavaScript JavaScript
  • TypeScript TypeScript
  • Rust Rust
  • Haskell Haskell
  • Ruby Ruby
  • Python Python
  • Git Git
  • NixOS NixOS
  • 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.
  • HTML5 HTML5
  • CSS3 CSS3
  • JavaScript JavaScript
  • Vue.js Vue.js
  • Python Python
  • Mapbox Mapbox
  • PostgreSQL PostgreSQL
  • Git Git
  • AWS Lambda AWS Lambda
  • 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.
  • Haskell Haskell
  • Rocq
  • OCaml OCaml
  • TypeScript TypeScript
  • Vue.js Vue.js
  • Rust Rust
  • C++ C++
  • Python Python
  • UnoCSS UnoCSS
  • Git Git
  • 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.

BeaversCode.club

github.com/lemueldls/beaverscode.clubCreator
From August 2024 to Present
Beavers Code is a student-led computer science club, at the City College of New York, with leaders from ACM and GDGC.
  • React React
  • CSS3 CSS3
  • TypeScript TypeScript
  • Next.js Next.js
  • Tailwind CSS Tailwind CSS
  • Supabase Supabase
  • Convex
  • Git Git
  • Founding member of Beavers Code, the ACM chapter at CCNY, leading 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.
  • Rust Rust
  • TypeScript TypeScript
  • Git Git
  • 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 kinds and breeds of pets.
  • TypeScript TypeScript
  • Sass Sass
  • Vue.js Vue.js
  • Nuxt Nuxt
  • Tailwind CSS Tailwind CSS
  • Supabase Supabase
  • Stripe Stripe
  • PWA PWA
  • Git Git
  • Vercel Vercel
  • Processed and localized information about multiple kinds and breeds 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.
  • Sass Sass
  • TypeScript TypeScript
  • Vue.js Vue.js
  • Rust Rust
  • Typst Typst
  • CodeMirror CodeMirror
  • Nuxt Nuxt
  • UnoCSS UnoCSS
  • Tauri Tauri
  • Git Git
  • Cloudflare Cloudflare
  • 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.

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.
  • Rust Rust
  • Git Git

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.
  • Rust Rust
  • Git Git
  • 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.
  • Pyret
  • Rust Rust
  • WebAssembly WebAssembly
  • TypeScript TypeScript
  • Git Git
  • 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.
  • HTML5 HTML5
  • CSS3 CSS3
  • Sass Sass
  • JavaScript JavaScript
  • TypeScript TypeScript
  • Node.js Node.js
  • Vite Vite
  • Astro Astro
  • MongoDB MongoDB
  • Cypress Cypress
  • Git Git
  • 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.
  • React React
  • Python Python
  • Vite Vite
  • UnoCSS UnoCSS
  • Ant Design Ant Design
  • Firebase Firebase
  • 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.
  • Dart Dart
  • HTML5 HTML5
  • TypeScript TypeScript
  • Vue.js Vue.js
  • Kotlin Kotlin
  • Swift Swift
  • Flutter Flutter
  • Nuxt Nuxt
  • Deno Deno
  • Firebase Firebase
  • Git Git
  • 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.
  • Sass Sass
  • TypeScript TypeScript
  • Vue.js Vue.js
  • Vuetify Vuetify
  • Material Design Material Design
  • Material Design Icons Material Design Icons
  • Nuxt Nuxt
  • Electron Electron
  • Discord Discord

discordo

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

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.
  • TypeScript TypeScript
  • Vue.js Vue.js
  • Deno Deno
  • Skypack Skypack

Iridis

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

Affiliations

Beavers Code (ACM @ CCNY)

beaverscode.clubTech Lead
From August 2024 to Present
The Association for Computing Machinery (ACM) is an organization promoting computer science research.
  • React React
  • CSS3 CSS3
  • TypeScript TypeScript
  • Next.js Next.js
  • Tailwind CSS Tailwind CSS
  • Supabase Supabase
  • Convex
  • Git Git
  • Founding member of Beavers Code, the ACM chapter at CCNY, leading 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 Student Clubs

gdg.community.devSecretary
From January 2024 to Present
Google Developer Groups are community groups for developers to learn, share, and get help.