Divyaank D. Tiwari

Hi there, I’m Divyaank Tiwari! I’m currently pursuing an MS in Computer Science from Stony Brook University. Since August 2023, I have been working as a Graduate Student Researcher in Prof. Erez Zadok’s File systems and Storage Lab (FSL). In FSL, I’m working with Yifei Liu along with Prof. Scott A. Smolka and Prof. Geoff Kuenning, on the Metis project which seeks to test Linux-based file systems more readily and thoroughly via Model Checking techniques. I formerly worked at MSCI for 3 years as an Associate Quantitative Software Developer (SDE-II). Prior to that, I completed my BE in Computer Engineering from Sardar Patel Institute of Technology in 2020. In my free time, I can be found either in the gym or browsing through Hacker News or whiling away my time on subreddits like r/cscareerquestions, r/programming and r/Cricket.