Arjun Radhakrishna

Arjun Radhakrishna is a researcher at Microsoft working on program synthesis and formal methods. Previously, he was a post-doctoral researcher at the University of Pennsylvania under Prof. Rajeev Alur and completed his PhD at IST Austria under Prof. Thomas A. Henzinger. His work focuses on developing tools for reliable systems with applications in concurrency and embedded systems.

Education:

• PhD in Computer Science from IST Austria (2014)
• Postdoctoral research at University of Pennsylvania

Research Interests: Arjun's research lies at the intersection of program synthesis, formal methods, and quantitative system analysis. He develops tools that address soft specifications (e.g., performance, energy consumption) for concurrent and reactive systems, combining techniques from programming languages and formal verification. Key projects include performance-aware concurrency synthesis and quantitative specification frameworks for reactive systems.

Scientific Awards:

• 2014 ACM SIGBED Paul Caspi Memorial Dissertation Award
• Best Paper Nomination at EMSOFT 2012

Service and Contributions: Arjun has served on program committees for conferences including CAV, PLDI, POPL, and VMCAI. He co-developed EUSolver, a tool that won multiple SyGuS competition tracks (2016). His dissertation introduced techniques for quantitative verification and synthesis with applications in embedded systems and concurrent programming.