Scholar
Kush Jain
Google Scholar ID: YBZt0-AAAAAJ
Mistral AI
Citations & Impact
Citations
219
H-index
8
i10-index
7
Publications
17
Co-authors
0
Publications
Cited
4
Cited
0
Resume
Academic Achievements
- For more details about this work and other papers, see the publications tab.
Research Experience
- AI research scientist at Mistral AI; focused on ML for software engineering, software testing, and program analysis during his PhD at Carnegie Mellon University; collaborated with Dr. Milos Gligoric at UT Austin to apply mutation testing to formal verification, mutating proof definitions to detect incomplete specifications.
Education
- PhD from the Software and Societal Systems Department at Carnegie Mellon University, advised by Dr. Claire Le Goues; attended UT Austin, where he worked with Dr. Milos Gligoric on mutation testing and test generation.
Background
- AI research scientist, with primary research interests in ML for software engineering, software testing, and program analysis.