Research Areas

            Software Engineering, Embedded Systems.

Research Interests

•  Software Testing, Analysis and Validation:  Software Debugging, Software Testing, Software Evolution.

•  Rigorous design and analysis of embedded systems: Embedded Software analysis and optimizations, WCET Analysis.

My Research Group

        e-SAVVY

Current Funded Projects  

        Scalable Timing Analysis methods for Embedded Software, PI, 2012 - 15, $590K.

          funded by A*STAR Public Sector Funding, Research Assistant and Research Fellow positions available!  

           Analysis and Test Generation for Evolving Software, PI, 2011 - 2014, $831K.

          funded by Ministry of Education (MoE), -- Post-doc positions available,  RA positions available

           Symbolic Taint Analysis, Funded by Defense Research Technology Office, 2009-2012, PI, $397K.

Completed projects

Talks

Patent

Last updated 21 June 2011.