Petros Papapanagiotou
Head Of Development at SuprNation
City of Edinburgh, Scotland, United Kingdom
Summary
👤
Senior🎓
Top SchoolPetros Papapanagiotou is a Head of Development based in Edinburgh with nine years of experience building and leading teams that deliver distributed, cloud-native systems. He blends hands-on engineering (notably Scala, Akka, Docker, Kubernetes and cloud integrations) with strategic responsibilities for solution architecture, sprint delivery and process improvement. His background bridges applied research and industry—he holds a PhD in formally verified workflows and led academic projects that integrated IoT, cloud and workflow execution for Industry 4.0 pilots. At SuprNation he manages both backend and frontend senior teams while still contributing code, hiring and mentoring to scale capabilities. Petros has a proven track record translating formal models into practical, auditable systems for healthcare and manufacturing, and brings an unusual mix of deep formal verification expertise and product-focused delivery.
9 years of coding experience
12 years of employment as a software developer
Doctor of Philosophy (PhD) Formally Verified Process Workflows, Doctor of Philosophy (PhD) Formally Verified Process Workflows at The University of EdinburghBachelor of Science (BSc) Informatics and Telecommunications, Bachelor of Science (BSc) Informatics and Telecommunications at Ethnikon kai Kapodistriakon Panepistimion AthinonElementary School Gymnasium High School, Elementary School Gymnasium High School at Hellenic American Educational Foundation Athens College - Psychico College
English, Greek, French
Stackoverflow
11reputation
378reached
0answers
1question
Github Skills (48)
fluent-api10
hol9
theorem9
wolfram-language8
theorem-proving8
calculus8
pi-calculus8
derivative7
discrete-event-simulation7
quadratic6
scalability6
persistent6
akka-streams6
akka6
scala6
Programming languages (5)
Github contributions (5)
workflowfm/proter
Mar 2021 - Dec 2023
A discrete event simulator for asynchronous prioritized processes
Contributions:8 releases, 3 reviews, 26 PRs in 2 years 9 months
business-process-managementstream-processingasynchronoussimulation-frameworkdiscrete-event
workflowfm/workflowfm-reasoner
Jun 2021 - Dec 2023
A logic-based library for correct-by-construction process modelling and composition.
Contributions:2 PRs, 19 pushes, 3 branches in 2 years 7 months
compositionpolymorphismlogic-programmingcorrectcrossword
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.