Simmo Saan
@sim642.eu
📤 7
📥 20
📝 7
Computer science PhD student.
https://sim642.eu/
Goblint ranked 1st in data races and 2nd in correctness proving overall in SV-COMP 2026:
sv-comp.sosy-lab.org/2026/results...
loading . . .
SV-COMP 2026 - 15th International Competition on Software Verification
https://sv-comp.sosy-lab.org/2026/results/results-verified/
8 days ago
0
0
0
New blog post:
sim642.eu/blog/2026/01...
loading . . .
Times with math: newtx vs Termes | Simmo Saan
https://sim642.eu/blog/2026/01/24/times-with-math-newtx-vs-termes/
29 days ago
0
0
0
New blog post:
sim642.eu/blog/2025/10...
loading . . .
DOI to Bib(La)TeX – a misery | Simmo Saan
https://sim642.eu/blog/2025/10/06/doi-to-biblatex-a-misery/
5 months ago
0
1
0
you reached the end!!
feeds!
log in
