About me

"I am currently pursuing a Ph.D. in the Department of Computer Science and Engineering, under the guidance of Professors S. Sheerazuddin and K. Muralikrishnan at NIT Calicut. My research focuses on the field of formal verification."

Research Interests

  • Model Checking

  • Logic

  • Probabilistic Model Checking

  • SAT/SMT

  • DRL Syestem Verification

  • Multi Agent System Modelling and Verification

Education

NATIONAL INSTITUTE OF TECHNOLOGY CALICUT, INDIA

PhD--January 2021-Current
Computer Science and Engineering

KARUNYA UNIVERSITY COIMBATORE, INDIA

M.Tech--July 2012-May 2014
Computer Science and Engineering


MAHATMA GHANDI UNIVERSITY KERALA, INDIA

B.Tech--July 2008-May 2012
Computer Science and Engineering

Experience

Assistant Professor(Contract)
Vidya Academy of Science and Technology, Thrissur
Sep 2020 - Feb 2021
Computer Science and Engineering


Assistant Professor(Contract)
NIT Calicut
Dec 2019 - Jul 2020
Computer Science and Engineering


Assistant Professor(Contract)
Model Engineering College, Ernakulam
Feb 2016 - May 2016
Computer Science and Engineering


Teaching Assistance
Programming Design Lab
Data Structure Lab Lab
Computer Netwoking Lab
Operating Syatems Lab

Publications

Shabana A.T., Alphy George and S. Sheerazuddin, Counter Abstraction for Regular Open Teams, Information Processing Letters, vol. 188 (2025)

Patents

Alphy George, Shabana A T, S Sheerazuddin. 2024. A Scalable Micro-aerial Vehicle Surveillance System with a Counter Abstraction Model and Method of Operation, Indian Patent 202441038615 A, published May 24, 2024, Patent Granted.