Pedro Filipe
Software Engineer at freiheit.com technologies
Lisbon, Portugal
Summary
🤩
Rockstar🎓
Top SchoolPedro Filipe is a software engineer based in Lisbon with 8 years of experience bridging rigorous research and production systems. He holds a PhD in Logic and Computer Science and transitioned from doctoral research on partial non-deterministic logical matrices—where he explored decidability and complexity—to building and maintaining live systems. At freiheit.com technologies he led an identity-provider migration and now works on low-latency interactive video streaming, spanning design, implementation and operations. His interests in programming-language theory, algorithms, security protocols and infrastructure inform a methodical, correctness-minded approach to distributed and real-time systems. Unusually for an engineer in industry, he brings deep mathematical experience with undecidability results to practical engineering trade-offs.
8 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Logic and Computer Science, Doctor of Philosophy - PhD, Logic and Computer Science at Instituto Superior Técnico
English, Portuguese, Spanish
Github Skills (98)
zero-configuration10
corona10
api10
rest10
compiler10
developer-tools10
gatsby10
tracer10
static-site-generator10
fastest10
build-tools10
mongoose-plugin10
nodejs10
graphql10
frontend10
Programming languages (7)
Github contributions (5)
puzzledbytheweb/learn
Aug 2019 - Jul 2020
Contributions:12 commits, 4 PRs, 4 pushes in 11 months
puzzledbytheweb/dd-trace-js
Nov 2020 - Oct 2021
JavaScript APM Tracer
Contributions:29 pushes, 2 branches in 11 months
apm-tracerjavascripttracerapm
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.