llvm dev - Feb 2018 - 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 :)

Thanks & Regards,
Ashish Kumar Gahlot


-- 
Ashish Kumar Gahlot
IV year, UG
Govt. Engg. College, Ajmer, India
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180227/0cb6c4bc/attachment.html>