Oscar Carrillo
Enseignant - Chercheur at CPE 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.
10 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 (33)
binaries10
homebrew10
administration10
command-line-tool10
macos10
cli10
openvpn9
stunnel9
openconnect9
openssh9
tor9
ssh8
dpi8
wireguard8
anyconnect8
Programming languages (6)
Github contributions (5)
CPELyon/4irc_aiot
Nov 2017 - Feb 2025
Contributions:47 pushes, 1 branch in 7 years 4 months
ocrozo/tdp2p
Oct 2016 - Nov 2023
Contributions:17 pushes, 1 branch in 7 years 2 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.