Joanna Cecilia da Silva Santos

Areas of Interest

Prof. Santos’ research lies in understanding weaknesses and vulnerabilities through empirical studies to devise novel automated techniques for the development of secure software systems, from inception to deployment. Her work draws on program analysis, software verification, and machine learning algorithms to solve software engineering and security problems such as software vulnerabilities detection, reasoning and formal modeling of architectural properties, and software architecture reverse engineering.

Her primary areas of interest are:

• Software engineering
• Software security
• Program analysis
• Source code manipulation