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 (80)
hunit10
haskell-stack10
quickcheck10
testing10
servant10
property-testing10
haskell10
hackage10
mutation-testing10
latex10
golden-tests10
bitbucket10
git-mirror10
documentation10
property-based-testing10
Programming languages (10)
Github contributions (5)
rudymatela/express
Feb 2019 - Aug 2022
Dynamically-typed Haskell expressions involving applications and variables.
Contributions:780 commits, 2 PRs, 170 pushes in 3 years 6 months
haskell
rudymatela/speculate
Dec 2016 - Aug 2022
Speculate laws about Haskell functions
Contributions:1003 commits, 2 PRs, 374 pushes in 5 years 9 months
haskelltestingproperty-based-testingproperty-testingproperty-discovery
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.