★ UI for Storm Model CheckerStorm is the best probabilistic model checker, developed by RWTH Aachen University Germany, that won 2019-2020 QComp competitions in the world.Designed a web based application using FLASK, Angular and Docker for its input modelling languages like Markov automata (MA), dynamic fault trees (DFT) and generalized stochastic Petri nets (GSPN).Implemented the LL1 parser for syntax and semantic analysis and translate our graphs of MA, DFT and GSPN into their respective languages to run analysis on storm model checker.This easy to use graphical interface will allow user to design a model in a matter of minutes.★ BTS & CDR ForensicDeveloped a web app which is capable of parsing large networks of greater than 50,000 call records and displaying them in a graphical interface using Cytoscape graph library. With this, analysts will be able to analyse call records on a macro level, in order to find patterns within the network and can perform statistical analyses on the data to find trends such as the percentage of members who belong to communities, their degree centrality, and their linked criminal records. This way authorities could identify suspects and criminals with ease.

Network Analysis:The tool which assist to perform analysis on telecommunication data (from different sources) and perform statistical algorithms like Closely Connected Networks, Centrality measures (degree, closeness and betweenness) and identify connected links between different graphs. I'm responsible for creating frontend that implemented from scratch in React.js, Cytoscape.js, MUI, Ant Design. And also worked on backend as well that implemented in python flask server that helps in data fetching and pre-processing.