About
Sebastian Angel is affiliated with the University of Pennsylvania and Microsoft Research. His research spans Distributed Systems, Security, Privacy, and Proofs.
- Contributions: Personal Website
Recent work includes:
- 2025 SPLASH: Structural temporal logic for mechanized program verification (keywords: Computer Science, Formal Verification; subfields: Temporal Logic, Program Verification).
- 2023 POPL: Executing Microservice Applications on Serverless, Correctly (keywords: Distributed Systems, Security; subfields: Serverless Computing, Microservices).
Research fields
0Publications listed
