Award Recipient Jyotirmoy Deshmukh University of Southern California Social website 2021 Amazon Research Award Systematic Testing and Invariant Synthesis for Concurrent Programs using Deep Reinforcement Learning
