Suggestions
Heman Gandhi
Counter-example Guided Inductive Synthesizer
Heman Gandhi is a researcher who participated in the DIMACS Research Experiences for Undergraduates (REU) program at Rutgers University in 2018. During this program, he focused on Schubert calculus, specifically studying the intersection of lines and curves, which is a significant area in algebraic geometry.12
In addition to his research at DIMACS, Heman Gandhi has gained professional experience at Google, where he has worked on various projects related to data quality and annotation.34 His LinkedIn profile indicates that he is currently based in Tokyo and has over 500 professional connections on the platform, reflecting an active engagement in the tech community.4
Gandhi's academic background includes a focus on advanced mathematical concepts, as evidenced by his research into Grothendieck polynomials, which are also related to Schubert calculus and have implications in various mathematical fields.3
