The S2E lab is dedicated to studying the broad area of software engineering, primarily focusing on software security and program analysis. Our mission is to develop novel techniques to enable secure software systems development. We strive to make a positive impact on society by sharing knowledge, tools, and best practices related to engineering secure software systems.
If you are interested in Software Engineering and/or Software Security research, please refer to this page to more information about joining our lab.