Tiago Ferreira
Postgraduate Teaching Assistant
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolTiago Ferreira is a doctoral researcher and postgraduate teaching assistant in UCL’s Programming Principles and Logical Verification group with 11 years of experience bridging research and engineering. His work focuses on automata theory, grammatical inference and formal verification, and he has contributed to the development of novel models such as Symbolic Register Automata. Tiago combines academic rigor—visiting researcher roles and a stint at Galois—with practical software and DevOps experience from startups and industry, giving him fluency across C++, research prototypes and production systems. Based in London, he pairs a Mathematical Computation background with hands-on research engineering, often turning theoretical insights into implemented frameworks used in automata learning. A less obvious strength is his consistent movement between pure theory and applied tooling, making him effective at translating formal methods into usable software.
11 years of coding experience
5 years of employment as a software developer
CMM Research School, Theoretical Computer Science, CMM Research School, Theoretical Computer Science at Max Planck SocietyA Level, Computer Science, A*, A Level, Computer Science, A* at St Peter's Sixth Form CentreGCSE, Computer Science, A*, GCSE, Computer Science, A* at St Peter's Catholic SchoolUniversity College London
Portuguese, English, Spanish
Stackoverflow
33reputation
619reached
0answers
5questions
Github Skills (200)
command-line-interface10
cmsis10
package-manager10
amazon10
unit-testing10
oauth10
alien10
nix10
code-completion10
docker-desktop10
wireguard10
ruby10
stm32cube10
swift10
aws-cli10
Programming languages (18)
Github contributions (5)
PROGNOSISTool/adapter-quic
Jul 2020 - Feb 2024
A test suite for QUIC
Contributions:2 releases, 2 PRs, 172 pushes in 3 years 7 months
testingquicsuite
tiferrei/UCLKit
Mar 2017 - Oct 2020
UCL API wrapper in Swift
Contributions:1 release, 80 commits, 16 PRs in 3 years 8 months
apiapi-wrapperuclswiftios
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.