Registered user since Fri 30 Sep 2022
Name:Shaobo He
Country:United States
Affiliation:Amazon Web Services
Research interests:Formal Methods, Software Verification
Contributions
2024
FSE 2024-profile
View general profile
View general profile
- Attending
- Program
- Track/Call
- Organization
- 2030 Software Engineering Committees
- Track Committees
- Program Committee
- Contributors
- People Index
- Search
- Series