GSOC 2018 Introduction

Hello all,

My name is Ashish Kumar Gahlot and I am a final year undergraduate student of Engineering College Ajmer(Rajasthan, India) majoring in
Computer Science.

I am interested in working on project Integrate with Z3 SMT solver to reduce false positives for GSOC 2018. I am having experience with SMT solvers as I play CTFs and have used z3 to solve reverse engineering problems.

How can I contact the mentors for this project and get started?

Looking forward to your response to get started :slight_smile:

Thanks & Regards,

Ashish Kumar Gahlot