• On 13/08/2024 Ms. Saumya Shankar defended her Ph.D. thesis under the supervision of Dr. Srinivas Pinisetty. Title of the thesis: Advancements in Runtime Enforcement Frameworks: Finite Memory, Compositional Approaches, and Practical Applications.