About
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.
0Publications listed
Find Arjun Radhakrishna elsewhere
Related Searches
You Might Also Like
Arjun RadhakrishnaIMDEA Software Institute · Researcher- TThomas HenzingerInstitute of Science and Technology Austria · Professor
Thomas A. HenzingerGraz University of Technology · Professor
Roopsha SamantaMax Planck Institute for Software Systems · Assistant Professor- TThomas HenzingerInstitute of Science and Technology Austria · Professor
Ashutosh GuptaIndian Institute of Technology Bombay (IITB) · Associate Professor