Dr. Santiago Escobar (Universitat Politècnica de València, Spain): expert in formal methods for the security of cyberphysical systems, with extensive experience in the development of advanced mathematical techniques for the verification of critical systems.
Dr. Besiki Dundua (Institute of Applied Mathematics of Tbilisi State University, Georgia): specialist in rewriting and symbolic analysis, with a focus on the application of mathematical methods in critical environments such as the security of cyberphysical systems.
Co-directors
Dr. Peter Csaba Ölveczky (University of Oslo, Norway: expert in the formalism of rewriting and verification of concurrent systems, with a solid trajectory in the application of mathematical methods in industrial environments.
Dr. Volodymyr Peschanenko (Kherson State University, Ukraine): specialist in cyberphysical systems security and complexity analysis, with experience in integrating mathematical methods into industrial modeling tools.
Dr. Mircea Marin (West University of Timisoara, Romania): outstanding researcher in the field of computer security and formal verification, with a focus on the application of mathematical techniques in critical systems.
Dr. Kyungmin Bae (Pohang University of Science and Technology, Korea): expert in formal methods for the security of cyberphysical systems, with solid experience in the development of mathematical analysis tools for complex systems.
Dr. Carlos Olarte (Université Sorbonne Paris Nord, France): specialist in formalism rewriting and verification of concurrent systems, with extensive experience in the application of mathematical methods in industrial environments.
