[llvm-dev] GSOC 2018 Introduction

Ashish Gahlot via llvm-dev llvm-dev at lists.llvm.org
Sat Feb 17 06:42:14 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/20180217/8e107172/attachment-0001.html>

More information about the llvm-dev mailing list