Ameena K Ashraf

Degree Registered For: PhD

Supervisor : Meenakshi D’Souza

Date of Joining : August 2018

Research Interest : Formal methods

Biographical Sketch

Hailing from Idukki, Kerala.Completed Btech in computer science and Technology from Ilahia College Of Engineering And Technology,Muvattupuzha under MG University,Kottayam in 2015.Completed Mtech in Computer science and systems engineering from Government Engineering College,Idukki in 2017 under Dr A P J Abdul Kalam Technological university.

Courses taken till now: Automated Verification, Advanced algorithms, Discrete Maths, Linear algebra

Publications