Hi, I'm Diogo 👋
Master of Computer Science Student at Universidade do Porto.
DA

About

My name is Diogo Gomes de Araújo and I am a Computer Science student at FCUP. I'm currently in the second year of my master's degree doing research on using model checking to verify realistic clock constructions for UC-specified blockchain bridges in collaboration with IOG. My main topics of interest in the field are cryptography, functional programming, distributed systems, formal verification, algorithms and compilers. Besides programming I like to run, boulder, consume great art (books, movies and TV series) and drink a(n) (un)healthy amount of specialty coffee (preferrably a flat white with a rosetta on top).

Work Experience

I

INESC TEC

January 2026 - April 2026
Researcher
Developed and maintained IoT gateway microservices for DER communication. Deployed a Zero Trust framework (Teleport) for secure remote access to all IoT devices in the Power and Energy Systems laboratory.
S

STAR JE

May 2024 - July 2025
Back-End Engineer and Project Manager
As a backend engineer at Star JE, I built backend API's for web and mobile applications. Additionally, I assisted in recruiting, directed teams and talked to clients to ensure project requirements where met.

Education

F

Faculdade de Ciências da Universidade do Porto

September 2025 - Now
Master's Degree in Computer Science
U

Universidade da Beira Interior

September 2022 - July 2025
Bachelor's Degree in Computer Science and Engineering

Skills

Programming Skills
My Projects

Check out my latest work

I have worked on many projects from simple CLI tools to full-stack applications. Here are the projects I enjoyed working on the most.

Group Wallet for Nano

Group Wallet for Nano

A Rust library and wallet for Nano group transactions using FROST as the final project of my CS degree at Universidade da Beira Interior.

Rust
Tokio
Dioxus
Dalek
Wallet
Library
Blocktion

Blocktion

A secure proof-of-work blockhain for auctions implemented in Rust from scratch.

Rust
Libp2p
Tokio
Ratatui
Dalek
Source
Purr

Purr

An ML-like purely functional programming language that implements Hindley-Milner type inference and compiles to SKI-combinators.

Haskell
Happy
Alex
Source
Game for RetroJam 2025

Game for RetroJam 2025

A game developed for IEEE RetroJam 2025 using Raylib and Rust in 48 hours in collaboraton with my brother.

Rust
Raylib
Itch Page
Source
TUI Chat

TUI Chat

A Discord-like video chat application that runs in the terminal.

Rust
Tokio
Source
Garbage Collectors

Garbage Collectors

A set of garbage collectors built in C with a virtual machine and parser for ASM-like instructions.

C
OCaml
Menhir
CTypes
Source
Certifications

My Achievements

These are some extracurricular courses and events I have participated in over the years.

  • 2

    2nd Place in IEEE RetroJam 2025

    On-Site

    Placed second alongside my brother Rodrigo with a retro-styled game developed in 48 hours using Rust and Raylib.
  • P

    Participation in Inforum 2025 - Évora

    On-Site

    Presented a poster on my Bachelor's Degree final project, connected with researchers, professionals, and fellow students, and received feedback that will help me grow further as an engineer.
  • I

    Industrial Robotics - Fundamentals

    On-Site

    Learnt about industrial robotics and how to program robotic arms.
  • R

    Robocup 2016 - Leipzig, Germany, Certificate of Participation

    On-Site

    Participating in RoboCup was a transformative childhood experience that ignited my enduring passion for technology and programming.
  • N

    National 1st Place – Robotics Championship (CoSpace Rescue) 2016

    On-Site

    Awarded for excellence in robot programming, navigation algorithms, and autonomous systems.
Contact

Get in Touch

Want to contact me? Feel free to send me an email and I'll get back to you as soon as possible.

LinkedIn