Joanna Da Silva Santos
Assistant Professor at University of Notre Dame
Notre Dame, Indiana, United States
Summary
👤
Senior🎓
Top SchoolJoanna Da Silva Santos is an Assistant Professor of Computer Science and Engineering at the University of Notre Dame with 11 years of experience spanning academia and software development. She holds a PhD and MS from Rochester Institute of Technology and a Computer Engineering degree from Universidade Federal de Sergipe, combining rigorous formal methods with practical software engineering. Her research applies program analysis, empirical methods, formal modeling, and machine learning to detect vulnerabilities, reason about architectural properties, and automate architecture recovery and compliance. Joanna’s work bridges theory and practice: she moved from hands-on roles in web and mobile development and software internships to tenure-track research on software security and verification. Known for meticulous empirical studies and tooling, she brings an uncommon mix of teaching, industry experience, and provable-software perspectives to address real-world architecture and security challenges.
11 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy - PhD, COMPUTER AND INFORMATION SCIENCES AND SUPPORT SERVICES, 4.0/4.0, Doctor of Philosophy - PhD, COMPUTER AND INFORMATION SCIENCES AND SUPPORT SERVICES, 4.0/4.0 at Rochester Institute of TechnologyBachelor's degree, Computer Engineering, 8.9/10, Bachelor's degree, Computer Engineering, 8.9/10 at Universidade Federal de Sergipe
English, Portuguese
Github Skills (26)
compilation10
paradigms10
apl9
nim-lang9
nim-language8
c998
mining8
evaluation8
code-generation6
source-code-analysis6
security6
vulnerability6
machine-learning5
json4
supply-chain-security4
Programming languages (3)
Github contributions (5)
joannacss/paradigms-fa22
Aug 2022 - Nov 2022
CSE 30332 Programming Paradigms @ ND (Fall 2022)
Contributions:95 commits, 97 pushes, 1 branch in 3 months
aplcompilationfallnim-langc99
SoftwareDesignLab/Salsa
Jun 2020 - Aug 2021
Contributions:1 release, 17 commits, 7 pushes in 1 year 1 month
call-graphsdeserializationserializationcall-graphprograms
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.