Tomás Alagoa — Cybersecurity & Software Engineer

// about

I'm a cybersecurity and software engineer based in Lisbon, currently working at ICT Strypes Portugal, building robust software with Python and C++.

My background spans vulnerability research, static analysis, and full-stack development. I wrote my Master's thesis on Vulnerability Detection in Multiple Languages, extending a static analysis tool for blockchain software and smart contracts at INESC-ID.

Beyond the day job, I've been part of Técnico's Security CTF team since 2017 — competing in Reverse Engineering, Forensics, and Cryptography challenges.

8+ years in security

4 companies worked at

MSc Computer Science & Eng.

// experience

Software Engineer

ICT Strypes Portugal

2025 — Ongoing Lisbon, PT

Working as a software engineer delivering software development services, deepening expertise in Python and C++ while adopting industry best practices in a professional engineering environment.

Python C++ Software Engineering

Researcher

INESC-ID

Nov 2024 — Jun 2025 Lisbon, PT

Adapted a static analysis tool to detect vulnerabilities in blockchain software and smart contracts. This research formed the core of my Master's thesis on vulnerability detection across multiple languages.

Static Analysis Blockchain Smart Contracts Security

Cybersecurity Intern

UNICRE

Jul 2024 Lisbon, PT

Experienced cybersecurity in a real enterprise environment, bridging academic theory with corporate practice in an organization operating in the financial sector.

Cybersecurity Enterprise

Software Developer

MARETEC

2019 — 2021 Lisbon, PT

Part of IST's cluster of research companies, focused on modelling marine and land systems with geographical data.

Built an internal tool for monitoring and executing geographic calculations in Python
Developed and extended a website with geospatial visualisation libraries in JavaScript

Python JavaScript GIS

// skills

Proficient

C++

Python

Linux

Advanced

Java

Rust

Git

Docker

SQL

Intermediate

Kotlin

Zig

JavaScript

🔐

Security

Reverse engineering, cryptography, forensics, CTF, static analysis, vulnerability research

⚙️

Systems

Low-level C/C++/Rust, Linux, distributed systems, blockchain analysis

🌐

Full-stack

Web development, GIS tools, cloud infrastructure, containerisation

// education

MSc

Computer Science & Engineering

Instituto Superior Técnico

2023 – 2025 · Lisbon, Portugal

Specialization in Cybersecurity and Distributed Systems
Thesis: Vulnerability Detection in Multiple Languages

CTF

Security Team @ Técnico

Instituto Superior Técnico

2017 – 2025 · Lisbon, Portugal

Competed in Reverse Engineering, Forensics, and Cryptography challenges

Languages

TomásAlagoa