Education
The City College of New York
From August 2022 to May 2028
Academy for Software Engineering
From September 2018 to June 2022Experience
Penn REPL
penn-repl.github.io From May 2024 to August 2024- Learned the fundamentals of theoretical computer science and many kinds of lambda calculi.
- Worked with leading researchers in the field to develop new methods for property-based testing.
- Taught complex ideas to undergraduates, post-graduate students, and professors in the field.
The Recurse Center
recurse.com From June 2022 to August 2022- Focused on improving technical and speaking skills supporting a community of developers.
- Hosted topics such as End-to-End Testing for web applications, and innovative procedurally generated patterns and type-level abstractions, teaching concepts to industry professionals.
Woven by Toyota
woven.toyota From January 2022 to March 2022- Developed a responsive analytics dashboard that identifies real-world changes and events while on the road for autonomous vehicles, and new back-end services to manage and process data.
- Presented solutions to issues within existing wireframe diagrams and user interface designs.
Projects
mnemo
github.com/lemueldls/mnemo From June 2021 to Present- Implemented a custom rich text editor, using the Typst ecosystem for writing and styling notes.
- Uses mnemonic memory techniques to help users remember information, and improve learning.
- Created a custom language server for the editor, allowing for syntax highlighting and completion.
Kaetram 1.x
github.com/Kaetram From November 2019 to January 2024- Maintained the project as a core developer, working on the game engine and it's multiple clients.
- Built internal solutions to improve the development cycle, resulting in more efficient workflows.
- Managed a community of more than 1,000 users worldwide, and organizing development efforts.