This is the github account for Sarthak Das. Sarthak Das is presently pursuing his Ph.D in Computer Scienced from the Indian Association for the Cultivation of Science (IACS), Kolkata. He completed his Integrated Bachelors-Masters Degree in Computer Science from IACS in 2023. He is particularly interested in logic and theoretical computer science. You can visit his personal gitlab account here. He is also a part of a joint github account for the 2020 Masters batch of IACS Computer Science Unit (CSU) to showcase their work as a group in several projects.