Kasra Yazdani
Papers
1
Total Citations
13
H-Index
1
About
Kasra Yazdani is a researcher at the forefront of privacy-preserving control systems, with a primary focus on the intersection of formal methods, multi-agent systems, and differential privacy. His most-cited work, "Differentially Private Controller Synthesis With Metric Temporal Logic Specifications" (2020, 13 citations), introduces a groundbreaking framework that ensures sensitive data collected from agents in multi-agent systems remains private while still satisfying complex, high-level behavioral requirements expressed in Metric Temporal Logic (MTL). This contribution is pivotal for applications where data sensitivity is paramount, such as autonomous vehicle fleets or smart grids, as it provides a rigorous mathematical guarantee of privacy without sacrificing system performance. Yazdani’s research bridges the gap between theoretical privacy guarantees and practical controller design, making him a notable figure in the growing field of secure cyber-physical systems. His work is essential reading for students and researchers interested in how formal logic can be harmonized with privacy constraints to build trustworthy autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1