Marco Dinis
Software Engineer at Teleport
Portugal
Summary
🤩
Rockstar🎓
Top SchoolMarco Dinis is a software engineer with 10 years of experience specializing in system design, backend development, automation, and performance debugging. Currently at Teleport, he builds integrations and onboarding flows that shorten infrastructure provisioning time and enable features like instant SSH access to EC2 instances, and contributes upstream to the well-known open-source Teleport project by improving its tsh CLI. He has led teams and technical decisions at Talkdesk and Truphone, designing APIs and lifecycle systems in Golang, Ruby, and Kotlin while mentoring engineers and running interviews. With an MSc focused on distributed systems and cryptography, he blends practical production experience with a strong interest in security and developer experience. Colleagues rely on him to crack hard problems and cleanly automate complex workflows across cloud and infra stacks.
10 years of coding experience
8 years of employment as a software developer
Bachelor of Science (BSc), Informatics Engineering, Informatics, Bachelor of Science (BSc), Informatics Engineering, Informatics at University of Minho
English
Github Skills (5)
go10
cli10
testing9
error-handling9
cryptography8
Programming languages (11)
Github contributions (5)
gravitational/teleport
Mar 2022 - Jan 2023
The easiest, and most secure way to access and protect all of your infrastructure.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:4537 reviews, 217 commits, 1781 PRs in 10 months
Contributions summary:Marco's commits focused on improving the functionality of the Teleport `tsh` CLI tool, addressing issues related to the handling of configuration files and error messaging. The user implemented changes to ignore empty or non-existent configuration files, as well as modifications to the test setup. Furthermore, the user upgraded the x/crypto library version and removed custom algorithm signers.
pamsshrdpjumpserversecure
marcoandredinis/GlobalProtect-openconnect
Dec 2020 - Jul 2021
A GlobalProtect VPN client (GUI) for Linux based on OpenConnect and built with Qt5, supports SAML auth mode.
Contributions:4 PRs, 4 pushes in 6 months
vpn-clientopenconnectvpnlinuxglobalprotect
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.