Simmo Siil
Senior Software Engineer at AS Eesti Loto
Tallinn Metropolitan Area Estonia
Summary
🤩
Rockstar🎓
Top SchoolSimmo Siil is a Senior Software Engineer with 14 years of experience designing and maintaining backend systems where correctness, reliability, and availability are paramount. Based in Tallinn, he blends production engineering at Eesti Loto with deep research interests as a PhD student in static program analysis and programming languages. His open-source contributions span both core backend work (WeeChat, sv-benchmarks) and front-end polish (Jekyll theme al-folio), showing a rare mix of low-level correctness fixes and user-facing improvements. Colleagues describe him as collaborative and detail-oriented, often catching subtle undefined-behavior bugs and improving testbench fidelity. He thrives in environments that encourage creativity and double-checking, turning rigorous verification skills into practical, resilient systems.
14 years of coding experience
18 years of employment as a software developer
Master's degree, Information Technology, Master's degree, Information Technology at Tallinna TehnikaülikoolVocational, Information Technology, Vocational, Information Technology at Tallinna Majanduskool / Tallinn School of Economics
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (30)
userscripts10
python10
clientside10
scripting10
thread-safety10
plugin-development10
c1110
c1710
chat10
script10
regression-testing10
jekyll10
html10
liquid10
webclient10
Programming languages (21)
Github contributions (5)
weechat/scripts
Aug 2015 - Oct 2019
Official scripts for WeeChat.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 reviews, 19 commits, 14 PRs in 4 years 2 months
Contributions summary:Simmo contributed to the WeeChat script repository by fixing bugs and adding features to existing Python scripts. Their work includes fixing errors in the `urlbar.py` script related to empty prefixes and buffer autoset instantly applying properties. Also, they added new features like allowing joining channels with keys in autojoin. The user also made improvements in filtering buffers.
schemeluacode-golfpythonweechat
sosy-lab/sv-benchmarks
Sep 2020 - Dec 2020
Collection of Verification Tasks
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:13 reviews, 37 commits, 7 PRs in 2 months
Contributions summary:Simmo primarily worked on converting and preprocessing Goblint regression tests. Their contributions involved modifying existing C code for testing, adding new options and preprocessor directives, and addressing compilation issues. They focused on removing unsuitable benchmarks, fixing uninitialized pointer errors, and ensuring the benchmarks accurately reflected the intended tests, including fixes for undefined behavior.
securitytlaverification
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.