Faculty Profile for Dr. Rodion Podorozhny
Dr. Rodion Podorozhny
Associate Professor — Computer Science
CMAL AVERY 464D
phone: (512) 408-3221
Biography Section
Biography and Education
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 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.Research Interests
Formal Methods, Software Verification, Software Validation, Multi-Agent Systems and Autonomous Agents, Distributed AI, Cyber-Physical Systems, Control Systems, Software Quality, Software ProcessSelected Scholarly/Creative Work
- Zheng, X., Julien, C., Podorozhny, R., Cassez, F., & Rakotoarivelo, T. (2018). Efficient and Scalable Runtime Monitoring for Cyber-Physical System. IEEE Systems Journal, 12(2), 1667–1678. https://doi.org/10.1109/JSYST.2016.2614599
- Podorozhny, R. (n.d.). Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems. ACM Transactions Embedded Computer Systems, 16(4), 106:1-106:24.
- Zheng, X., Julien, C., Podorozhny, R., & Cassez, F. (2015). BraceAssertion: Runtime verification of cyber-physical systems. In Proceedings 2015 IEEE 12th International Conference on Mobile Ad Hoc and Sensor Systems Mass 2015 (pp. 298–306). https://doi.org/10.1109/MASS.2015.15
- Podorozhny, R. (2013). Design and verification of cellphone-based cyber-physical systems: A position paper. In Proceedings of the 9th IEEE International Conference on Collaborative Computing Networking Applications and Worksharing Collaboratecom 2013 (pp. 603–607). https://doi.org/10.4108/icst.collaboratecom.2013.254262
- Osterweil, L. J., Clarke, L. A., Ellison, A. M., Boose, E., Podorozhny, R., & Wise, A. (2010). Clear and precise specification of ecological data management processes and dataset provenance. IEEE Transactions on Automation Science and Engineering, 7(1), 189–195. https://doi.org/10.1109/TASE.2009.2021774