In my role at the High Performance Computing Lab at Khoury College, I have focused on pioneering new methods for model checking multi-threaded programs. This endeavor led me to author and publish a research paper unveiling novel findings in the model checking arena. Regularly, I share my insights at internal meetings, aiding in shaping the lab's strategic direction. To ensure I remain at the forefront of the field, I continually review the latest literature on HPC and model checking. My work frequently involves leveraging advanced HPC resources, such as supercomputers, for large-scale experiments. I actively participate in weekly lab meetings, engaging in discussions about our progress and collaboratively brainstorming solutions. Additionally, I have taken the initiative to contribute to the development of open-source tools and libraries, ensuring our lab's research benefits a broader community.

I specialize in researching computational methods for single-cell RNA sequencing to enhance precision therapy in cancer treatment. My work involves developing and implementing advanced computational techniques to analyze single-cell RNA sequencing data. I collaborate with interdisciplinary teams to integrate and interpret complex datasets and design innovative algorithms that improve the accuracy and effectiveness of cancer therapies. Additionally, I perform data preprocessing, integration, and clustering analyses to identify meaningful biological patterns. By applying cutting-edge methods like ARACNe and VIPER, I uncover key regulatory networks and inform personalized treatment strategies. My goal is to drive breakthroughs in cancer treatment by leveraging the power of computational biology and single-cell RNA sequencing.