Hi, I am Nehul currntly pursuing Ph.D in computer science at IITB
My current area of intrest is Formal Specification and Verification