Presenter

Khushboo Qayyum received her B.S. degree in Telecommunication Engineering from National University of Computer and Emerging Sciences, Islamabad, Pakistan in 2010, and M.S. degree in Communication and Information Technology from University of Bremen, Bremen, Germany in 2020. She is currently pursuing her Ph.D in Computer Science in the Computer Architecture research group in the University of Bremen, Bremen, Germany and working as a researcher in DFKI GmbH. Her research interests include optimization of decision diagrams for formal verification, applications of decision diagrams in emerging technologies, and LLMs for formal verification.