Office:Comal 307E
Phone: (512) 245-8472
Email: rp31@txstate.edu
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.
CS3398 (Software Engineering )
CS4354 (Object Oriented Design and Implementation)
CS4368 (Survey of Computer Languages)
CS5391 (Survey of Software Engineering)
CS5396M (Software Evolution and Maintenance)
CS5392 (Formal Methods in Software Engineering)
CS5394/4398 (Advanced Software Engineering Project)
CS5396 (Advanced Software Process)