Assistant Professor
Bio
Dr. Shimmi Asokan completed her Ph. D in Computer Science from Cochin University of Science &Technology, India. She holds an M. Tech degree in Software Engineering. She is an adjunct assistant professor at CIS at Zayed University. She has two decades of experience teaching computer science to graduate and undergraduate students. She has supervised projects in areas such as formal modeling, IoT, data analytics, and machine learning. Her research interests span formal modeling and verification, modeling and verification of automotive systems, IoT, compiler design, machine learning and data analytics.
Office
Abu Dhabi - Khalifa City, Abu Dhabi, MF3-02-036
Phone:
+971 2 599 3269
Email:
Shimmi.Asokan@zu.ac.aeTeaching Areas
Formal Modeling and Verification, Modeling and Verification of Automotive Systems, IoT, Machine Learning and Data Analytics.
Research and Professional Activities
Shimmi Asokan, Kochaleema K. H., G. Santhosh Kumar, Formal Modelling and Verification of the Clock Synchronisation Algorithm of FlexRay, Defence Science Journal, 73(1), (2023), https://doi.org/10.14429/dsj.73.18449
Shimmi Asokan, Santhosh Kumar G. Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet. Innovations Syst Softw Eng (2022). https://doi.org/10.1007/s11334-022-00483-1
Niloofer Shanavas N, Shimmi Asokan, Ontology-based Document Mining System for IT Support Service. ICICT 2014, Procedia Computer Science 46, 329-336, doi:10.1016/j.procs.2015.02.028.
Neethu Kurian, Shimmi Asokan, Summarizing user opinions: A method for labeled-data scarce product domains. ICICT 2014, Procedia Computer Science 46, 93-100, doi:10.1016/j.procs.2015.01.062.