Revision as of 10:42, 25 October 2010 by Aleabate (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

I'm a system theorist and control engineer who has been charmed by the fundamental questions that biology tries to give an answer to, and yet who believes in formal and engineering approaches to tackle such questions. My research interests are in the analysis, control, and verification of probabilistic and hybrid systems, and in their general application over a number of domains, particularly in systems biology.