The immediate and primary focus of my research will be in using the depth of my research abilities, that is, Embedded Systems. I intend to develop and release a software tool based on the analytical framework, which I developed during my Doctoral thesis. (I further extended the framework during my postdoctoral research.)

My mid-term and long-term research goals will be in exploring interdisciplinary research areas: Biology and Computer Science: testing maturing techniques from Computer Aided Design to similar problems in the field of Computational Biology; and Electrical Engineering and Computer Science: I am interested to explore model checking techniques for mixed-signal circuit simulation.