Yliès Falcone, Ph.D.

I hold an Associate Professor in Computer Science at Univ. Grenoble Alpes, 🇫🇷. I am also a member of the Inria Grenoble Corse research team and the Computer Science Laboratory of Grenoble. My work focuses on software engineering, formal methods, and software quality assurance. I specialize in designing, implementing, and integrating advanced techniques to ensure software safety and security through modeling and automated verification.

A key part of my career has been dedicated to software monitoring, where I have made significant contributions. Notably, I pioneered the theory of monitoring decentralized systems and developed techniques for enforcing timed properties at runtime. Beyond academia, I have provided consultancy services through my own company, helping organizations improve security, reliability, and compliance in their software and blockchain-based solutions. I also have an entrepreneurial background. In the early days of Android, I founded and led MiDroid, a project aimed at giving users greater security and control over their devices using monitoring-based techniques.

I have had the privilege of collaborating with esteemed institutions and colleagues worldwide, contributing to both foundational research and real-world applications. My research has been recognized, with over 150 publications in leading research journals and conferences. I have also published a book on automata theory for undergraduate students. With over 4,000 citations, an h-index of 33, and an i-index of 75, my work has had a measurable impact. I have received 3 Best Paper awards for the publications I have contributed to. Furthermore, I take great satisfaction in mentoring the next generation of researchers and engineers. I have supervised 11 Ph.D. students and numerous master’s students and engineers. Sharing knowledge and enabling others to build upon strong foundations are central to my philosophy. I enjoyed serving the research and teaching communities of Grenoble by being an elected member of the Research Council, the Academic Council, my Laboratory council and a member of an educational board on cyberphysical systems. I served in several conference programme committees.

My current focus is on developing solutions for safer and more interoperable blockchains. My latest project, ERCx, is an automated tool for assessing the quality of token implementations on Ethereum. It leverages Ethereum Improvement Proposals and security properties extracted from audits, setting rigorous compliance and security standards in the blockchain ecosystem.