Preey Shah


Junior Undergraduate
Computer Science and Engineering
Indian Institute of Technology, Bombay


About me

I am a junior undergraduate at the CSE department at IIT Bombay. I am also pursuing a Minor in Applied Statistics and Informatics.

I am particulaly interested in various aspects of theoretical computer science, particularly in algorithms, formal methods and graph theory. Currently, I am doing a RnD project under Prof. Akshay on topics related to reachability in petri nets. Apart from that, I am also enthusiastic about discrete mathematics and combinatorics and really enjoy thinking over hard problems.

I recently did a summer internship (2017) under Prof. Roland Meyer at TU Braunschweig, Germany on the regularity of languages accepted by Well Structured Transition Systems. I also worked on finding an algorithm for coverability in petri nets.


You can find my Resume here.