|
|
|
Research Interests
Software and System Validation, Predictable System Design with focus on Embedded Systems.
My Research Group
Funded Projects
Symbolic Taint Analysis, Funded by DSTA, 2009-2012, PI.
Timing Analysis of Behavioral System Models, Funded by University Research Council, 2007-2010, PI.
Last updated 21 June 2008.