Rudy Matela
Computer Scientist at Self-employed
Brazil
Summary
👤
Senior🎓
Top SchoolRudy Matela is a computer scientist with over a decade in both industry and academia and 26 years of technical experience, blending hands-on software engineering with research-led rigor. He has built web and mobile applications, networking and embedded systems, and shipped production services as an independent contractor using Haskell, Yesod, Snap, SQL, JavaScript and Bash. His academic work includes a PhD from the University of York focused on functional programming and property testing, and publications that inform his pragmatic approach to correctness and testing in production code. He has experience implementing low-level network protocols and drivers in C/C++, Assembly and VHDL, and has managed small Agile teams delivering Ruby on Rails and Android projects. Comfortable toggling between deep systems work and higher-level application development, he seeks roles that bridge research and product engineering. Based in Brazil, he brings an unusual combination of formal verification mindset and practical delivery across cloud, embedded and web stacks.
26 years of coding experience
9 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Universidade Estadual do CearáDoctor of Philosophy - PhD, Computer Science, Pass, Doctor of Philosophy - PhD, Computer Science, Pass at University of York
Portuguese, English, Polish, Spanish
Stackoverflow
6,380reputation
450kreached
57answers
2questions
bitbucket
top-1%
Github Skills (90)
hunit10
haskell-stack10
quickcheck10
expressions10
testing10
property-testing10
extensible10
tester10
haskell10
union10
hackage10
mutation-testing10
cabal10
golden-tests10
bitbucket10
Programming languages (9)
Github contributions (5)
rudymatela/hello-haskell
Aug 2017 - Aug 2022
Hello World! (in Haskell)
Contributions:259 commits, 5 PRs, 273 pushes in 5 years 1 month
cabalhaskellhaskell-stackmakefilesandbox
rudymatela/tankode
Jan 2017 - Jun 2017
Contributions:322 commits, 7 pushes, 2 issues in 4 months
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.