Registered user since Mon 24 Nov 2025
Name:Opale Sjöstedt
Bio:
Opale is a PhD student at imperial College London, under the supervision of Azalea Raad. She works on the Soteria library with Sacha-Élie Ayoun. Her research interests include under-approximate bug finding, bi-abduction, and language semantics for Rust.
Affiliation:Imperial College London
Personal website: https://portfolio.n1ark.com
GitHub: https://github.com/n1ark
Research interests:Program analysis, Bug finding, Symbolic execution
Contributions
Using general profile