O mnie
Karol Budzyn
Badacz Kryptografii · Kryptografia Post-Kwantowa i Systemy Kwantowo-Odporne · Warszawa, PL
Student Politechniki Warszawskiej (ARICS — Automatyka, Robotyka i Informatyka Przemysłowa), z zainteresowaniami badawczymi skupionymi na Kryptografii Post-Kwantowej (PQC) oraz Dowodach Zero-Wiedzy (ZKP). Szczególnie zainteresowany ZK-SNARKami, ZK-STARKami i kryptografią kratową w kontekście infrastruktury krytycznej.
Moje doświadczenie inżynierskie obejmuje uruchamianie systemów przemysłowych i integrację bezpiecznych protokołów komunikacyjnych — doświadczenie, które dziś przekłada się bezpośrednio na badania nad zwinnością kryptograficzną: migracją warstw komunikacyjnych w stronę prymitywów odpornych na ataki kwantowe.
Od programowania sterowników ATEX w atmosferach wybuchowych po projektowanie zaszyfrowanego middleware dla wymiany danych rządowych — buduję systemy, gdzie poprawność i bezpieczeństwo są niepodważalne.
Certyfikaty
Doświadczenie
-
sie 2025 – obecnie
Konsultant Techniczny @ Freelance · Warszawa / Zdalnie
Tworzę bezpieczne middleware do wymiany danych rządowych z rygorystycznymi protokołami uwierzytelniania i integralności danych. Projektuję szyfrowane relacyjne bazy danych dla środowisk wysokiej współbieżności oraz buduję aplikacje full-stack zabezpieczone przed OWASP Top 10.
MiddlewarePythonSQLAPI SecurityOWASPEncryption -
maj 2024 – sie 2025
Inżynier Systemów PLC @ KBA Automatic Sp. z o.o.
Uruchamianie systemów w dużych strefach przemysłowych, zarządzanie translacją protokołów (Profinet / EthernetIP / Modbus) i segmentacją sieci między węzłami produkcyjnymi.
ProfinetEthernetIPModbusNetwork Segmentation -
2023
Stażysta Techniczny - Programowanie PLC @ Turck Sp. z o.o.
Programowanie urządzeń dla stref zagrożonych wybuchem (ATEX) oraz sterowników PLC zgodnie z IEC 61131-3, z naciskiem na niezawodność i bezpieczeństwo fizyczne (safety-by-design) w środowiskach wysokiego ryzyka.
ATEXIEC 61131-3Programowanie PLC
Wykształcenie
-
2024 – obecnie
Inż. Automatyka i Robotyka – Informatyka Przemysłowa
Politechnika Warszawska (ARICS)
Specjalizacja: Informatyka Przemysłowa i Sieciowe Systemy Sterowania.
-
2020 – 2024
Technik Mechatronik
ZSEl Tadeusza Kościuszki
Ścieżka przyspieszona — pominięto jedną klasę.
Macierz umiejętności
▶ Post-Quantum Cryptography & Research
- Post-Quantum Cryptography (PQC) ███░░
- Zero-Knowledge Proofs (ZKP) ███░░
- ZK-SNARKs / ZK-STARKs ██░░░
- Lattice-based Cryptography ██░░░
- Cryptographic Agility & Migration ███░░
▶ Cloud & Application Security
- Azure (AZ-500 / AZ-900) ████░
- API Security / OWASP Top 10 ████░
- Encryption-at-rest & in-Transit ████░
- Linux / Windows Hardening ████░
- Secure Database Architecture ████░
▶ Development
- Python ████░
- C++ / Rust ███░░
- JavaScript / React ███░░
- SQL ███░░
- Bash / Shell ████░
▶ Industrial Systems & Protocols
- Modbus / Profinet / EthernetIP █████
- IEC 61131-3 PLC Programming █████
- Industrial Network Segmentation ████░
- ATEX / Secure Commissioning ████░
- Cyber-Physical Systems ████░