Calculating Infinity

Members

Principal researchers

  • 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.
  • Scroll to Top