<div dir="ltr"><div><div><div>Hello all,<br><br></div>My name is Ashish Kumar Gahlot and I am a final year undergraduate student of Engineering College Ajmer(Rajasthan, India) majoring in<br>Computer Science. <br><br></div>I am interested in working on project <b>Integrate with Z3 SMT solver to reduce false positives </b>for GSOC 2018. I am having experience with SMT solvers as I play CTFs and have used z3 to solve reverse engineering problems.<br><br></div><div>How can I contact the mentors for this project and get started?<br><br></div><div>Looking forward to your response to get started :)<br><br></div><div>Thanks & Regards,<br></div>Ashish Kumar Gahlot<br><div class="yj6qo ajU"><div id=":1gq" class="ajR" tabindex="0"><img class="ajT" src="https://ssl.gstatic.com/ui/v1/icons/mail/images/cleardot.gif"></div></div><br clear="all"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>Ashish Kumar Gahlot</div><div>IV year, UG</div><div>Govt. Engg. College, Ajmer, India</div></div></div></div></div>
</div>