Building a Prolog-based permission metamodel for abstracting IAM systems.
Diploma thesis + coursework in network security, cryptography, and formal methods.
Go backend services, API design, SQLite, CI/CD pipelines.
Lab instructor for digital circuits course.
Embedded Kotlin + BLE for industrial IoT.
Building a Prolog-based permission metamodel for abstracting IAM systems.
Diploma thesis + coursework in network security, cryptography, and formal methods.
Go backend services, API design, SQLite, CI/CD pipelines.
Lab instructor for digital circuits course.
Embedded Kotlin + BLE for industrial IoT.