Oscar Carrillo is an Associate Professor and Responsible of the Infrastructure and Networking Program at CPE Lyon. He carries out his research at the Center for Innovation in Telecommunications and Service Integration (INRIA CITI Lab.) in the research group on Dynamic Software and Distributed Systems for the Internet of Things (Dynamid Team). He studied Computer Science Engineering at the Universidad Industrial de Santander (Colombia) and then studied Ambient and Mobile Computing at the Polytech’Nice School of Engineers (France). He is a PhD on Computer Science from the University of Franche-Comté (France) where he conducted a research on formal and incremental verification of specifications in SysML. His main interests are the verification of software and models, middleware for ubiquitous computing, software architecture and distributed systems with a focus on the Internet of Things.
![](https://iplsummerschool.com/wp-content/uploads/Oscar-Carrillo.jpg)