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:

Teaching 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.