Gian B
Associate Professor
Santa Catarina, Brazil
Summary
👤
Senior🎓
Top SchoolGian B is an Associate Professor and researcher with 11 years of academic experience specializing in discrete event simulation, model checking, and object-oriented software development. Holding a PhD in Electronics and Computer Engineering from ITA, he combines rigorous theoretical foundations with practical software skills to teach and lead research at Universidade Federal de Santa Catarina. His career includes international engagement as a guest professor in Germany, reflecting a collaborative, cross-border approach to engineering education. Known for translating complex formal methods into teachable, implementable tools, he bridges deep technical research and hands-on software craftsmanship. Based in Santa Catarina, Brazil, he brings a long-term commitment to mentoring students and advancing reproducible research in systems modeling.
11 years of coding experience
Master's degree, Computer Science, Master's degree, Computer Science at Universidade Federal de Santa CatarinaDoctor of Philosophy - PhD, Electronics and Computer Engineering, Doctor of Philosophy - PhD, Electronics and Computer Engineering at Instituto Tecnológico de Aeronáutica - ITABachelor's degree, Computer Science, Bachelor's degree, Computer Science at Universidade do Estado de Santa Catarina
English, French
Github Skills (8)
markov3
stm32f42
markov-chain2
stlink2
cmake1
nim-language1
openframeworks1
testing1
Programming languages (5)
Github contributions (5)
gianricardo/codigos-cpp
Mar 2015 - Sep 2016
Contributions:42 commits, 38 pushes in 1 year 5 months
gianricardo/c-language
Jul 2015 - Jun 2016
Contributions:24 commits, 4 PRs, 23 pushes in 11 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.