Hi, my name is Žiga Putrle, and I'm a software developer based in Ljubljana, Slovenia. I'm currently working at Beyond Semiconductor.
I'm enthusiastic about a lot of things but mostly my interests revolve around programming, formal software verification, proof assistants, computer security, control systems, algorithms, logic, and math in general. I enjoy solving problems and working on mission critical systems.
Please feel free to contact me at contact@zputrle.com. I'm always glad to grab a cup of coffee and exchange ideas.
Have a great day!