Yliès Falcone

Senior Technical Lead at Runtime Vеrification

Yliès Falcone is a pioneer of the runtime verification field, with more than 15 years of contributions to formal methods and software engineering. He is passionate about designing, implementing, integrating and delivering methods and tools that help guarantee programs are safe and secure. Yliès firmly believes that runtime monitoring is key to achieving this goal. He was a visiting research scholar at many institutions around the globe, working with talented and friendly colleagues who shaped the monitoring discipline. He enjoys solving problems, turning ideas into solutions and mentoring engineers. Yliès also holds an Associate Professor position at Univ. Grenoble Alpes, France.

Timeline

  • Senior Technical Lead

    Current role

  • Senior Monitoring Lead