Cosmin Ioniță

Cosmin Ioniță is a Romanian computer scientist specializing in the field of formal verification. He is known for his research on techniques for verifying the correctness of complex software and hardware systems. His work often involves the development and application of formal methods such as model checking, theorem proving, and abstract interpretation. Ioniță's contributions have advanced the state of the art in ensuring the reliability and safety of critical systems in areas such as embedded systems, operating systems, and security protocols. He has published extensively in leading conferences and journals in the field of computer science. His research interests also include program analysis, logic, and automated reasoning.