معرفی
Karthik Bhargavan is a Research Director (Directeur de recherche) at Inria, affiliated with the University of Bordeaux. He leads the Prosecco project team and has been actively involved in multiple research initiatives including Moscova (2010), Secret (2016), and Sierra (2024). As a 2010 ERC Starting Grant recipient, his work focuses on mathematically proving the security of web applications and cryptographic protocols.
His research interests center on cybersecurity, formal verification methods, and ensuring the security of personal and sensitive data management systems. Rather than merely stopping attacks, Bhargavan's approach emphasizes prevention through mathematically proven security systems. His work bridges theoretical computer science with practical security applications for web services.
Bhargavan has maintained continuous research activity from 2010 through 2024, participating in numerous project teams at Inria. His research trajectory shows consistent focus on security protocols and formal methods, with recent involvement in projects like Sierra and Prosecco.
- ERC Starting Grant (2010)
As a Research Director at Inria, Bhargavan has supervised multiple research teams and projects throughout his career. His leadership of the Prosecco project team demonstrates his significant role within Inria's research structure. His work has received recognition through competitive funding mechanisms like the ERC Starting Grant.
Bhargavan is associated with several research teams including Prosecco (which he leads), Moscova, Secret, and Sierra. These teams represent Inria's structured approach to research in computer science and digital technology, with each team focusing on specific technical domains within the broader field.
