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 area of software engineering, in particular in software process and formal methods. In addition, he has done some work in analysis of multi-agent systems and application of the multi-agent technology to software process enactment.
Research Interests
Verification of Software Systems, CyberPhysical Systems, Distributed Artificial Intelligence
