References
"
Saurabh has been working remotely on the XData project which we have been working on for quite a few years at IIT Bombay. A key goal of this project is to generate test data automatically for a given query, to help catch errors in the query. We do so by generating constraints for each targeted dataset, and using an SMT solver to solve the set of constraints by assigning values to variables. These variables correspond to attributes of rows in database relations, and thus define a dataset. The code is rather complex, and for legacy reasons was based on generating SMTLIB strings and feeding them to a z3 solver running as a separate process.
Saurabh has been working on redoing this framework to use the Z3lib API to generate constraints directly, instead of as strings, and then retrieve variable assignments directly from the solver. Most students I know get lost in the detail of a complex system such as XData, but Saurabh, working independently and remotely with hardly any hands-on mentoring from me, has managed to make great progress on this problem. He has learnt a lot on his own both in terms of the Z3 system and the XData system, and written high quality code for making the changes. All this while working part time, remotely. A remarkable amount of maturity, perserverance, and sharpness, for an undergrad student.
I recommend Saurabh most highly, and I'm sure he will go a long way in life!"
--- S. Sudarshan, my mentor, one of the authors of the book Database System Concepts and world-renowned database systems researcher
Saurabh has been working on redoing this framework to use the Z3lib API to generate constraints directly, instead of as strings, and then retrieve variable assignments directly from the solver. Most students I know get lost in the detail of a complex system such as XData, but Saurabh, working independently and remotely with hardly any hands-on mentoring from me, has managed to make great progress on this problem. He has learnt a lot on his own both in terms of the Z3 system and the XData system, and written high quality code for making the changes. All this while working part time, remotely. A remarkable amount of maturity, perserverance, and sharpness, for an undergrad student.
I recommend Saurabh most highly, and I'm sure he will go a long way in life!"
--- S. Sudarshan, my mentor, one of the authors of the book Database System Concepts and world-renowned database systems researcher
"
I have known Saurabh for over 3 years now. His knowledge in Python is exceptional. He is still my go-to person for advice related to Python. His positive attitude and appetite for learning is what sets him apart. I would highly recommend Saurabh."
--- Parth Shandilya, Software Engineering Intern at CERN, and my classmate
--- Parth Shandilya, Software Engineering Intern at CERN, and my classmate
"
Saurabh is a passionate learner who can quickly learn new tools and algorithms and apply them to solve real-world problems. His attention to detail is remarkable and can focus well under stressful conditions. I highly recommend him as a motivated, knowledgeable young person who will succeed in any task."
--- Divyanshu Rawat, Software Developer at Bayerischer Rundfunk, and my university senior
--- Divyanshu Rawat, Software Developer at Bayerischer Rundfunk, and my university senior