Samuel Feitosa
Professor at UFFS - Universidade Federal da Fronteira Sul
Chapecó, Santa Catarina, Brazil
Summary
👤
Senior🎓
Top SchoolSamuel Feitosa is a professor, researcher, and software engineer with eight years of experience bridging academic research in programming languages and hands-on software development. He holds a Ph.D. in Computer Science and has used dependently typed tools like Haskell and Agda to specify, implement, test, and formally prove properties of language designs. Samuel has taught a wide range of courses—from Functional Programming to Theory of Computation—while researching random program generation and property-based testing. Earlier in his career he led product development for a startup and engineered C++/Java systems integrating legacy equipment, giving him practical experience shipping production software and mentoring small teams. Based in Chapecó, Brazil, he combines deep formal-methods expertise with a pragmatic focus on developer education and reproducible testing. An avid learner and mentor, he channels research-grade techniques into classroom instruction and real-world tooling.
8 years of coding experience
3 years of employment as a software developer
Specialist on Tecnological and Professional Education, Teacher Education and Professional Development, Specific Subject Areas, Specialist on Tecnological and Professional Education, Teacher Education and Professional Development, Specific Subject Areas at IFSC - Instituto Federal de Santa CatarinaBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Unochapecó - Universidade Comunitária da Região de ChapecóMaster's degree, Ciência da Computação, Master's degree, Ciência da Computação at Universidade Federal de Santa MariaMaster of Business Administration (M.B.A.), Business Administration and Management, General, Master of Business Administration (M.B.A.), Business Administration and Management, General at UCEFFPh.D., Computer Science, Ph.D., Computer Science at Universidade Federal de PelotasPh.D. Internship, Computer Science, Ph.D. Internship, Computer Science at Utrecht University
English, Spanish, Portuguese
Github Skills (4)
cc9
bootstrap9
jekyll8
ruby7
Programming languages (2)
Github contributions (5)
sfeitosa/fj-cl
Mar 2018 - Dec 2022
Contributions:6 pushes, 1 branch in 4 years 9 months
sfeitosa/tmp
Jun 2018 - Dec 2022
Contributions:115 commits, 118 pushes, 1 branch in 4 years 6 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.