Roman Bögli

Researcher

I started my PhD in the SEG in April 2024. My research centers around secure, robust software and applied cryptography in general. Additionally, I am passionate about decentralized privacy-preserving technologies that emphasize user sovereignty. You can find more information here.

Feel free to contact me: dontscrapethisroman dot boegli at unibe dot ch

Publications

Bögli, R., Lerena, L., Tsigkanos, C., Kehrer, T. (2025). A Systematic Literature Review on a Decade of Industrial TLA+ Practice. In: Kosmatov, N., Kovács, L. (eds) Integrated Formal Methods. IFM 2024. Lecture Notes in Computer Science, vol 15234. Springer, Cham. https://doi.org/10.1007/978-3-031-76554-4_2 (see preprint)