I am a Systems Biologist. My work is mainly on modelling and analysis of biological systems.My intrests are in using  Formal verification and Machine Learning based methods for  analysing biological networks.