Ashalatha Kunnappilly (not working at IDT anymore)

E-mail:
ashalatha.kunnappilly@mdh.se
Room:
U1-174
Phone:
021 -151774
Division:
Division of Networked and Embedded Systems
Research group:
Formal Modelling and Analysis of Embedded Systems
Web:
Linkedin page


Ashalatha is a doctoral student at Mälardalen University since December 2015. She has also been a memebr of the Doctoral Student Council at Mälardalen University during the period from 2016-2018. 

Eductaional Details: 

  • Licentiate Degree in Computer Science from Mälardalen University, Sweden( 2019).
  • Master Degree is  in Embedded Systems from Amrita Vishvavidyapeetham University, India (2011-2013) . 
  • Bachelor degree is in Electronics and Communication from Mahatma Gandhi University, India (2007-2011). 
 
Teaching Experience:

Apart from research she has also been involved in various teaching activities during her time as PhD student. She has been part of the following courses.
  • Data Communication (2016-2017)
  • Data Communication in Embedded Systems (2016-2017)
  • Distributed Systems (2017-2018)
  • Research Methedology (2018) 
 
Achievements

  • She has won second prize in the Student Research Competion (SRC) organized by Microsoft Research for presentimg her Doctoral Symposium Paper " A Formally Assured Intelligent Ecosystem for Enhanced Ambient Assisted Living" at the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018)
  • She was the gold medal winner during her Master studies

 

Research Interests.

Ashalatha's main research interests are in the following fields:

  • Cyber Physical Systems
  • Formal Methods
  • 5G
  • Ambinet Assited Living

From 2015 until 2018, Ashalatha has been part of the European Union project, CAMI, where she reserached about the current trends in  the existing Ambient Assisted Living Systems and proposed solutions that aids their functional integration and formal verification.

From 2019 until present, she has been part of the Health-5G project, where she has looked into details of modeling and analysis of 5G Service Orchestartion Problem, especially for critical e-health applications.