Rinat Iusupov
Software engineer, hiker and thinker
Software engineer, hiker and thinker
I'm Rinat from Ural. Now I live in beautiful Vienna, Austria.
I like technologies, programming and learning new things.
In my free time, I truly enjoy outdoor exploration and doing deep dives into various topics of physics, philosophy, and nature.
At Trayport, I design, implement, and maintain the energy trading framework that enables customers to trade gas and electricity across European energy markets.
The technologies I work with: Python, PyPy, Linux, MongoDB, ZeroMQ, Docker, GitLab CICD, OpenTelemetry
At Graz University of Technology, I conducted research in formal methods and information security, developing innovative solutions to enhance hardware security. In collaboration with colleagues, I designed and published novel techniques to formally verify hardware resilience against side-channel attacks.
The technologies I worked with: Python, Z3, Formal Methods, SAT, SMT solving
At Webgames, I collaborated with game designers, quantitative analysts, and software developers to design and implement data analytics systems, delivering actionable insights on social network game trends and key performance metrics (e.g., DAU, MAU, retention rate, lifetime value, revenue per user).
The technologies I worked with: Python, AWS Redshift, Grafana, SQL, Tableau
Major in Systems and Software Engineering. Thesis: "Mining Extended Event Structures from Logs"
Major in Computer Science and Engineering