Rodion聽Podorozhny
Associate Professor
Austin, Texas, United States
Summary
馃懁
Senior馃帗
Top SchoolRodion Podorozhny is an Associate Professor and seasoned software engineer with over 15 years of expertise in software engineering, program analysis, and AI, focused on developing and verifying mission-critical and distributed systems. He applies LLMs for automated code generation and test-case synthesis for concurrent systems and has built distributed optimization algorithms for cooperating drone teams used in area monitoring. His work spans static and dynamic program analysis, model checking, dynamic slicing, and reinforcement learning鈥攕kills honed under mentorship from leaders like Victor Lesser, Andy Barto, and Rich Sutton. A prolific academic instructor, he teaches graduate courses in formal methods and software quality and consistently achieves high student evaluations. Less obvious: his early training in control systems and weapons engineering informs a pragmatic, systems-oriented approach to verification and resilient AI system design.
12 years of coding experience
Doctor of Philosophy - PhD, Computer Software Engineering, Doctor of Philosophy - PhD, Computer Software Engineering at The University of Texas at AustinMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at University of Massachusetts AmherstBachelor of Science - BS, Information and Control Systems (肖孝袣 袠校小), Bachelor of Science - BS, Information and Control Systems (肖孝袣 袠校小) at Peter the Great St.Petersburg Polytechnic UniversityBaltic State Technical University "VOENMEH" named after D.F. UstinovGithub contributions (5)
rp17/slamSim
Mar 2015 - Jul 2018
Contributions:12 pushes, 1 branch in 3 years 5 months
rp17/gitEx30
Feb 2023 - Oct 2024
Contributions:7 pushes, 3 branches in 1 year 7 months
Find and Hire Top DevelopersWe鈥檝e analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.