Skip to content
View racoelhosilva's full-sized avatar
🕰️
🕰️
54 followers · 46 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Block or report racoelhosilva

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
racoelhosilva/README.md

Hi there! 👋

I'm Rodrigo, a computer science graduate from Portugal 🇵🇹, living in Lausanne 🇨🇭.

I am currently a researcher at @INESC-ID, where I help develop the analysis engine for the Glitch tool and define queries using Rego. I am also pursuing a master's in Computer Science at @EPFL, after completing my bachelor's at FEUP.

I'm passionate about the theoretical foundations of computing (math, logic and algorithms) and understanding how clever solutions work under the hood. I also love coding, experimenting with different technologies and building projects that have practical applications.

Outside of work, I enjoy:

🧩 playing chess and indie video games
📜 reading fantasy and science-fiction books
🪴 learning things I didn't know I didn't know

Let's connect!

Gmail Badge LinkedIn Badge

Pinned Loading

  1. NeuralNetwork-MNIST NeuralNetwork-MNIST Public

    🧠 Neural Network framework built from the ground up with configurable architecture and hyperparameters for MNIST dataset

    C++ 1

  2. CPD_chatServer CPD_chatServer Public

    💬 Distributed chat server with rooms, concurrent clients and message ordering; exploring race conditions, causality, consistency and faults

    Java 1

  3. IA_routerPlacement IA_routerPlacement Public

    📡 Solution of Google Hash Code 2017 using Random Walk, Hill Climbing, Simulated Annealing, Tabu Search and Genetic Algorithms

    Python 1

  4. LBAW_proGram LBAW_proGram Public

    🐦 Social Media web application for programmers with authentication, administration, search, interactions, groups and notifications

    PHP 2

  5. CGRA_firefighterScene CGRA_firefighterScene Public

    🚒 3D simulation featuring a user-controlled helicopter extinguishing fires, with object modeling, texturing and shaders

    JavaScript 1

  6. PFL_graphs PFL_graphs Public

    🕸️ Functional programming approach to different graph problems, algorithms and data structures: DFS, Dijkstra and Held-Karp

    Haskell