Kaushik Mallik

Max Planck Institute for Software Systems

Papers

Total Citations

H-Index

About

Kaushik Mallik is a researcher advancing the field of formal methods and control theory, with a primary focus on abstraction-based controller design (ABCD) for complex dynamical systems. His work addresses the critical challenge of ensuring system resilience—the ability to maintain correct behavior under perturbations—while satisfying rigorous temporal logic specifications. In his influential 2020 paper, "Resilient abstraction-based controller design," Mallik introduced a novel framework that constructs finite-state abstractions of perturbed nonlinear dynamics, enabling the synthesis of controllers that are both robust and formally verifiable. This contribution bridges the gap between theoretical control synthesis and practical implementation in safety-critical systems, such as autonomous vehicles and cyber-physical infrastructures. Though early in his career, his work has already garnered attention, with his most-cited paper accumulating 3 citations, reflecting its foundational nature in an emerging research area. Mallik’s approach is notable for its emphasis on resilience—a property increasingly vital in modern systems operating under uncertainty. His research promises to shape the next generation of reliable, autonomous technologies, making him a rising voice in the intersection of control theory and formal verification.