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 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 a couple of 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]