Arjun Radhakrishna

Dr. Arjun Radhakrishna is a Researcher at Microsoft in the PROSE team, specializing in program synthesis and formal methods. His work focuses on developing tools to ensure correctness and optimize soft specifications like performance and energy consumption in concurrent and embedded systems. He previously held post-doctoral positions at the University of Pennsylvania and completed his PhD at IST Austria under Prof. Thomas Henzinger.