Ahmed Adnan
Graduate Student
Pennsylvania State University
Graduate Student
Pennsylvania State University
Hi, I'm Adnan. Currently, I am doing my PhD in Informatics at Penn State University, working as a Graduate Research Assistant, under the supervision of Dr. Tanusree Sharma. Previously, I have completed my B.Sc. and M.Sc. in Software Engineering from IIT, University of Dhaka. Before starting my PhD, I worked as a lecturer in the Department of Computer Science and Engineering at East West University, and before that, I worked as a software engineer at Samsung R&D Institute Bangladesh, where I worked on a cloud-based web project and was involved in medical imaging research. In addition to my professional career, I have worked as a Research Intern and collaborated as a remote researcher in several reputed research labs in the USA over the past 2 years. This includes research internships at the HIVE Lab, Penn State University (advisor: Dr. Tanusree Sharma); SEA Lab, College of William and Mary (advisor: Dr. Oscar Chaparro), and remote research collaboration with Dr. Jingbo Wang from Purdue University. So far, my research has been published in several reputed conferences and journals of Software Engineering, Formal Methods, and AI, including ASE, MSR, ICSME, FMCAD, and IEEE JSTARS. My fundamental research interests lie in the security, privacy aspects of AI systems and LLMs. I am also interested in the human-centric aspects of such systems as I want to work on secure and usable AI systems for users. Outside of work, I enjoy travelling and have recently taken up travel vlogging.Â
News
I have received the Graham Endowment Fellowship award, in the amount of $3000, from Penn State University
I have started my PhD in Informatice, at College of IST, Penn State University. I will be working as a Graduate Research Assistant, advised by Dr. Tanusree Sharma.
Our paper, titled "PSoufflé: Scaling Exact Probabilistic Logic Inference for Program Analysis," has been accepted at the 26th International Conference on Formal Methods in Computer-Aided Design (FMCAD'26).
Our paper, titled "PSoufflé: Scaling Exact Probabilistic Logic Inference for Program Analysis," has been accepted at the 26th International Conference on Formal Methods in Computer-Aided Design (FMCAD'26).
Our paper, titled "Rethinking Issue Resolution for AI/ML Systems" has been accepted for the Vision and Emerging Results track at the 42nd IEEE International Conference on Software Maintenance and Evolution 2026 (ICSME'26). [pdf]