Afonso Bordado
Software Architect at Nortech AI
Lisbon, Lisbon, Portugal
Summary
🤩
Rockstar🎓
Top SchoolAfonso Bordado is a Software Architect based in Lisbon with 12 years of experience building low-level, high-performance systems and leading backend development. He has a strong track record in emulation and runtime work—contributing significant fixes and i128, TLS, and memory/performance improvements to the Wasmtime WebAssembly runtime and extending MMX support in the Box86 x86 emulator. Comfortable across the stack, he progressed from full-stack internships to long-term engineering at mobinteg and now architects solutions at Nortech AI. His profile blends practical production delivery with deep systems expertise, and he often surfaces subtle correctness and performance gains that aren’t obvious from feature lists alone.
12 years of coding experience
8 years of employment as a software developer
Engenharia Informática Computer Software Engineering, Engenharia Informática Computer Software Engineering at Faculdade de Ciências da Universidade de LisboaBEng Software and Electronics Engineering w/ Foundation year, BEng Software and Electronics Engineering w/ Foundation year at University of Leicester
English, Portuguese, Spanish
Github Skills (13)
c1710
risc-v10
rust10
c1110
x86-6410
x8610
cran10
testing9
webassembly9
code-optimization9
arm9
linux8
64-bit8
Programming languages (14)
Github contributions (5)
bytecodealliance/wasmtime
May 2021 - Jan 2023
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Role in this project:
Back-end Developer
Back-end DeveloperContributions:492 reviews, 195 commits, 462 PRs in 1 year 8 months
Contributions summary:Afonso contributed significantly to the core functionality of the Wasmtime project, focusing on low-level code generation and instruction lowering. They added support for i128 operations, including addition, subtraction, multiplication, bitwise manipulations, and comparisons. Furthermore, they worked on adding support for TLS (Thread Local Storage) for different operating systems and addressing memory access and performance issues.
securejitcraneliftrustruntime
ptitSeb/box86
Sep 2019 - Sep 2019
Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices
Role in this project:Back-end Developer
Back-end DeveloperContributions:18 commits, 2 PRs, 4 comments in 6 days
Contributions summary:Afonso's contributions primarily focused on extending the functionality of the Box86 emulator. They implemented and tested MMX instructions including additions, subtractions, logical operations, shifts, and packing/unpacking operations. The user also added cpuid tests to verify MMX instruction set support, indicating their involvement in optimizing the emulator's x86 instruction set emulation.
ptraceemulatorlinux-armmusluserspace
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.