My Research and Interests

My PhD research is to optimise energy usage in embedded systems. The aim is either optimise existing controllers for embedded system or look at synthesising optimal control for a given embedded systems from their logical specification. For this research Artificial Intelligence technique will be applied.

I am interested in programming embedded systems, verification of probabilistic systems,artificial neural network and its applications.