Hi.

I am Saahil.

Ph.D. student in Software Engineering at Technical University of Munich. Focussing mainly on symbolic execution, smart compositional analysis and security testing. I love bouldering, fruit cakes, films, mainstream jazz and books. I'm interested in artificial intelligence, empirical software engineering, open-access publishing and the intersection of technology+journalism. I dislike winters, shaving, mushrooms and censorship very much.

I am on goodreads, github, twitter, instagram and sometimes I blog

Here is my CV.