[llvm-dev] GSOC 2018 Introduction

Ashish Gahlot via llvm-dev llvm-dev at lists.llvm.org
Mon Feb 26 18:22:46 PST 2018

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

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>

More information about the llvm-dev mailing list