Pedro Teixeira

Engenheiro De Software at Graphy

Greater Funchal Area Portugal
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Pedro Teixeira is a seasoned software engineer and serial founder with 16 years of experience building high-performance distributed systems, currently active as CTO and CEO across several ventures while also working at Graphy. A graduate of Instituto Superior Técnico who started programming at age 10 and finished his degree remarkably early, Pedro blends deep systems architecture expertise with product-led engineering and a strong focus on local-first and decentralized information systems. He led research and engineering efforts at Protocol Labs around IPFS, CRDTs and decentralized identity, and has contributed meaningfully to well-known open-source projects like js-ipfs, libp2p and nock. Pedro’s career spans startups, consultancy and public-sector work (notably leading the Madeira Safe COVID system), demonstrating an ability to ship pragmatic, secure solutions under real-world constraints. Beyond code, he co-founded LxJS conferences and authors books and white papers, signaling a commitment to community-building and thought leadership. Notably, his open-source contributions include backend API and stability improvements to widely used projects, reflecting a preference for reliability and developer ergonomics.
code16 years of coding experience
job19 years of employment as a software developer
bookCiências, Ciências at Escola Secundária Francisco Franco
bookEngineer, Computer and Informatics Engineering, Engineer, Computer and Informatics Engineering at Instituto Superior Técnico
languagesEnglish, French, Spanish
stackoverflow-logo

Stackoverflow

Stats
51reputation
959reached
2answers
2questions
github-logo-circle

Github Skills (31)

json10
cors10
javascript10
expressjs10
apidoc10
netstack10
testing10
net10
http10
ipfs10
networking10
libp2p10
api10
file-handling10
network10

Programming languages (9)

TypeScriptShellCSSC++JavaScriptGoHTMLDart

Github contributions (5)

github-logo-circle
nock/nock

Sep 2011 - Apr 2016

HTTP server mocking and expectations library for Node.js
Role in this project:
userBack-end Developer
Contributions:749 commits, 123 PRs, 290 pushes in 4 years 7 months
Contributions summary:Pedro's commits primarily focused on developing and maintaining the back-end logic of the nock library. They were involved in implementing new features, such as support for HTTP methods like PUT and DELETE and adding functionality for file and JSON replies. They also made improvements to the core functionality of the library by fixing bugs related to request handling and header management.
mock-servernocknode-jstestingjavascript
libp2p/js-libp2p

Jun 2017 - Apr 2018

The JavaScript Implementation of libp2p networking stack.
Role in this project:
userBack-end Developer
Contributions:36 commits, 9 PRs, 14 pushes in 9 months
Contributions summary:Pedro primarily contributed to the core functionality and stability of the libp2p JavaScript implementation. Their work included implementing state events and query changes, removing inactive multiaddrs to improve efficiency, and preventing errors during node shutdown. They also exposed and documented statistics, enhancing the project's monitoring capabilities. The user integrated testing for multiaddr trimming and stats.
ipfsp2pjavascriptnetworkingjs-ipfs
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.
Request Free Trial