Read Only by HTML5 UP

About me

I am pursuing my Ph.D. under the guidance of Dr. S Sheerazuddin and Dr. K Muralikrishnan from the National Institute of Technology, Calicut in the area of formal verification.

Research Interests

Model checking
Automata theory
SAT/SMT
Probabilistic model checking
Logic
Multi-agent system modeling and verification
Verification of DRL systems

Education

Research Scholar (2021 - Present)

Computer Science and Engineering
National Institute of Technology, Calicut
Kerala, India

M.Tech. (2016 - 2018)

Computer Science and Engineering
Government Engineering College, Wayanad
Kerala, India

B.Tech. (2011 - 2015)

Computer Science and Engineering
Government Engineering College, Wayanad
Kerala, India

Experience

Assistant Professor (Contract)

Computer Science and Engineering
National Institute of Technology, Calicut
Kerala, India

Teaching Assistant

Program Design Lab
Data Structure Lab
Computer Networking Lab
Operating System 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 pending.