Oscar Carrillo
Enseignant - Chercheur at INSA Lyon - Institut National des Sciences Appliquées de Lyon
Lyon, Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolOscar Carrillo is an associate professor and researcher in computer science and networking at CPE Lyon and the CITI lab (INSA Lyon), with about a decade of experience bridging academic research and applied development. He holds a PhD from Université de Franche-Comté and specializes in formal verification, virtualization, middleware for pervasive computing, software architecture, and distributed systems with a practical focus on IoT. His work blends formal methods (SysML verification) with hands-on system building, from cross-compiling ARM virtual platforms to developing middleware for ubiquitous computing. Having moved between research labs and teaching roles across France and Colombia, he brings a rare combination of classroom pedagogy and production-oriented engineering to complex, heterogeneous system design.
11 years of coding experience
1 year of employment as a software developer
Engineer's degree, Systems Engineering, Engineer's degree, Systems Engineering at Universidad Industrial de SantanderMaster's Degree, Computer Science, Master's Degree, Computer Science at Université Nice Sophia AntipolisDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Université de Franche-Comté
Spanish, French, English, German
Github Skills (23)
openvpn10
homebrew10
tor10
vpn9
wireguard9
stunnel9
openconnect9
openssh9
ssh9
ansible8
anyconnect8
html7
python3
ansible-role2
micropython2
Programming languages (6)
Github contributions (5)
ocrozo/ocrozo.github.io
Dec 2016 - May 2025
Contributions:45 pushes in 8 years 6 months
rulerhostedperfectsitesportfolios
CPELyon/4irc_aiot
Nov 2017 - Feb 2025
Contributions:47 pushes, 1 branch in 7 years 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.