Über Patrik
I bring many years of experience in software and data engineering, open source, teaching, research, and IT consulting. I'm looking for interesting projects where I can apply my knowledge and further level up my skills.
Deutsch
Muttersprachlich oder zweisprachig
Englisch
Verhandlungssicher
Vor Ort möglich
Konstanz (bis zu 30 km), Zürich (bis zu 30 km), Frauenfeld (bis zu 30 km), Winterthur (bis zu 30 km)
Projekt- und Berufserfahrung
- University of InnsbruckSecurity ResearchFORSCHUNGNovember 2018 - Heute (7 Jahre und 7 Monate)Innsbruck, ÖsterreichI'm pursuing a PhD in Computer Science at the Security and Privacy Lab at the University of Innsbruck, Austria. My dissertation is titled "Proof-of-Work Consensus: Protocol Design, Security, and Incentives" and wraps three publications:
- In 2022, with my supervisor Rainer Böhme: "Parallel Proof-of-Work with Concrete Bounds". Published in Advances in Financial Technologies – AFT '22. https://doi.org/10.1145/3558535.3559773
- In 2023, with Ben Glickenhaus, George Bissias, and Gregory Griffith: "Tailstorm: A Secure and Fair Blockchain for Cash Transactions". Published in Advances in Financial Technologies – AFT '23. https://doi.org/10.4230/LIPIcs.AFT.2023.6
- In 2025, alone: "Automated Selfish Mining Analysis for DAG-Based PoW Consensus Protocols". Published in Applied Cryptography and Network Security – ACNS ’25. https://doi.org/10.1007/978-3-031-95761-1_8
For my research, I've programmed a lot of tooling for automated and reproducible analysis of consensus protocols: protocol specifications, network simulation, attack search with reinforcement learning and MDPs, evaluation, and visualization. The code is available on GitHub: https://github.com/pkel/cpr - Stadt KonstanzClimate Data PlatformÖFFENTLICHER SEKTOR & KÖRPERSCHAFTENMai 2024 - November 2025 (1 Jahr und 6 Monate)Konstanz, DeutschlandBuilding the Climate Data Platform, a central component of the city's Smart Green City program. The funding Smart City grant program has a strict mandate to use open source software and release all new software as such. Hence there is full transparency about what I built:
- The climate data platform itself; based on Hypertegrity UDSP, Postgres, PostgREST, Python, Dagster, Kubernetes and ArgoCD. https://github.com/sgc-kn/platform
- Public dashboards; a static website based on Observable Framework. https://stadtdaten.konstanz.digital/ and https://github.com/sgc-kn/dashboards
- “Konstanz in Zahlen”: data management and validation with Python and Pydantic. https://github.com/sgc-kn/konstanz-in-zahlen
- University of InnsbruckTeachingBILDUNG & E-LEARNINGNovember 2018 - Februar 2022 (3 Jahre und 3 Monate)Innsbruck, ÖsterreichI taught computer engineering and networks for undergrad students, first and third semester. During the pandemic we went fully online: streaming lectures and seminars on Twitch and running weekly automated and randomized tests (with R/exams) for about 250 students.
Empfehlungen
Sei die erste Person, die Patrik empfiehlt
Teile Deine Erfahrung aus der Zusammenarbeit mit diesem Freelancer.
Diese Freelancer passen auch zu Ihren Kriterien
Agatha Frydrych
Backend Java Software Engineer
4.7
(3)
2
Baptiste Duhen
Fullstack developer
4.6
(4)
5
Amed Hamou
Senior Lead Developer
4
(2)
7
Audrey Champion
Web developer
4.3
(3)
4
Ausbildung und Abschlüsse
- Ph.D. CandidateSecurity and Privacy Lab, University of Innsbruck, Austria2025Researching the design, security, and incentives of proof-of-work consensus protocols. I expect to complete this degree in Q1/2026.
- M.Sc. Computer ScienceUniversity of Innsbruck, Austria2018Focus on Formal Methods and Information Security