FACULTY ACHIEVEMENTS

Anoopa S, PhD scholar, was awarded the PhD degree (KTU) under the guidance of Dr. Nadera Beevi S during 2026.

Dr. Nadera Beevi S has served as a paper Reviewer for the International Conference on Advanced Technologies and innovations 2026

Dr. Fousia M. Shamsudeen granted a design patent no: 484885-001 titled "Solar Based Animal Intrusion Detection Device For Homes" on December -25.

Prof. Sheera Shamsu attended the ICFP/SPLASH 2025 conference held in Singapore from October 12–18, 2025 with full funding. She actively participated in the OCaml Users and Developers Workshop (OCaml 2025), which is co-located with ICFP/SPLASH.

Prof. Sheera Shamsu on a Mechanically Verified GC for OCaml, OCaml Workshop 2025, Singapore

Prof. Sheera Shamsu presented her research titled: "A Mechanically Verified Garbage Collector for OCaml" at the OCaml Workshop.

Prof. Sheera Shamsu served as a Program Committee member for the OCaml 2025 workshop, contributing to the review and organization of workshop content. Additionally, she acted as Session Chair within the workshop program

Prof. Sheera Shamsu was selected (with full funding) to attend the "Lean for the Curious Mathematician" workshop: This was a hands-on workshop on formal verification with the Lean proof assistant, held at the International Centre for Theoretical Sciences (ICTS), Bengaluru, from April 24–26, 2025.

Prof. Sheera Shamsu completed a three-month research internship at Microsoft Research (MSR) Bangalore in 2024, working directly with two senior members of the MSR research organisation. Nikhil Swamy — Partner Researcher at MSR; lead designer of the F* proof-oriented programming language, widely used in verified cryptography and systems software. Aseem Rastogi — Senior Principal Researcher at MSR; known for foundational work in verified low-level programming and formal software security