Skip to Content

Leonardo Santos

Computer Science and Engineering @ UBI

Dedicated college student, eager to learn and apply my skills in internship positions.

About

A driven and enthusiastic college student with a passion for functional programming and cybersecurity, currently exploring the field of compilers. I am seeking an internship where I can apply my skills and continue to learn. With a proven track record of high motivation and a strong sense of teamwork, I am confident in my ability to take on any challenge and achieve my goals.

I am very interested in type-systems, interpreters and compilers. In my free time I wrote a small, type-inferred interpreted language that I'm quite happy with.

I am also quite intrigued by the Cybersecurity space, and wrote an unusual encryption/decryption algorithm that leverages the advantages of Chaos Theory for cryptography that you might find interesting.

When I’m not at the computer, I’m usually either listening to music, or playing guitar.

Experience

  1. Jul 22 - Sep 22

    Created and translated exercises for the Learn-OCaml platform, as well as designed and revised the black and white box tests used for the grading of the exercises.

    • OCaml
    • Web Apps
    • Client Server
    • Functional Programming
    • Software Testing
    • Black-box testing
    • White-box testing

Projects

  • Feb 24 - Present

    Strange Cipher · Encryption/Decryption algorithm

    An encryption/decryption algorithm based on Lorenz's Strange Attractor, with WebSockets for communication.

    • Rust
    • Cybersecurity
    • Cryptography
    • WebSockets
    • Chaos Theory
    • Nonlinear Dynamics
    • Diffie-Hellman
  • Nov 23 - Jan 24

    Money · Mobile App

    A budget management mobile application for a construction company.

    Features 3 types of users, with different types of management options for each. Workers can be assigned tasks or ask for materials, Contractors can manage stock and assign tasks, budgets and more.

    • Flutter
    • Dart
    • Supabase
    • PostgreSQL
    • Budget Management
  • Nov 23 - Jan 24

    Solar System · OpenGL Simulation

    A Simulation of our Solar System made with OpenGL, with a couple interesting features like a day and night cycle, clouds, lens-flares, ambient music, bloom and more.

    • OpenGL
    • C++
    • ImGUI
    • CMake
    • Post-processing effects
    • GPU Instancing
  • Jul 23 - Sep 23

    zaml · General purpose language

    Statically typed, Hindley-Milner inferred generic purpose language.

    • OCaml
    • Interpreters
    • Type-Systems
    • REPL Implementation
    • Programming Language Design
    • Lexing
    • Parsing
    • Unit Testing and QA
  • Apr 23 - Jun 23

    Soundscapes · Web App

    Soundscapes searches Spotify for playlists that fit your mood. Interactive website developed in Elm (frontend), OCaml (backend).

    • OCaml
    • Elm
    • Spotify API
    • PostgreSQL
    • REST API
  • Apr 23 - Jun 23

    Sentimentalyst · Desktop App

    Sentimentalyst analyzes your text for the sentiments it conveys, and its Parts of Speech.

    • Java
    • JavaFX
    • UI/UX Design
    • Sentiment Analysis

Open-Source Contributions

  • Jul 23

    LaTeX Integration for MDX · Real World OCaml

    Added LaTeX support to mdx, a tool that allows execution of code blocks inside markdown and mli/mld documentation to help keeping them up to date.

    • OCaml
    • Parsers
    • Lexers
    • Unit Tests
    • FOSS

Awards

Thank you for reading my resume. You are free to shoot me a message in any of my social media.