Name:Rodion Podorozhny

Bio:

Rodion Podorozhny received his Ph.D. in Software Engineering from the University of Texas, Austin in 2004 and M.Sc. in Computer Science from the University of Massachusetts, Amherst in 1997. He joined Texas State University - San Marcos in 2004. Rodion Podorozhny’s research interests are in the areas of automated synthesis and analysis of mission critical software systems, physics-informed neural networks (PINNs), deep learning optimizers and distributed AI. In particular, he has made noticeable contributions in software process and formal methods applied to verification of mission critical software systems. He also has expertise in cyber-physical multi-agent systems which he initially received in Multi-Agent Systems lab headed by Prof. Victor Lesser, UMass, Amherst. Rodion Podorozhny has formal education in Information and Control Systems from Peter the Great St.Petersburg Polytechnic University and design of weapons and arms from Leningrad Military Mechanical Institute (department “E”) with emphasis on ordnance, munitions and artillery systems.

Country:United States

Affiliation:Texas State University

Research interests:Formal Methods, Software Verification, Software Validation, Physics-Informed Neural Networks, Deep Learning Optimizers, Multi-Agent Systems and Autonomous Agents, Distributed AI, Cyber-Physical Systems, Control Systems, Software Quality, Software Process