> ./inspect-lab

S²E Lab logo with transparent background

Software security • Program analysis • AI for code

University of Notre Dame
[ EXPLORE RESEARCH ] [ BROWSE PUBLICATIONS ]
S²E Lab members on the University of Notre Dame campus

[ 02 ]

MEET THE TEAM

Researchers helping the world build secure software systems.

[ VIEW ALL PEOPLE ]
Joanna C. S. SantosJoanna C. S. Santos Nishat RaihanNishat Raihan Beatrice CaseyBeatrice CaseyVinicius Carvalho LopesVinicius Carvalho LopesMohammed Latif SiddiqMohammed Latif SiddiqXinye ZhaoXinye ZhaoPrince Noah JohnsonPrince Noah Johnson •••and
more

[ 03 ]

MISSION.TXT

We develop novel techniques, tools, and evidence to make software systems more secure.

Our work spans software security, program analysis, and the responsible use of AI in software engineering. We share knowledge, open-source tools, datasets, and best practices that help researchers and practitioners engineer safer systems.

[ JOIN THE LAB ]