George Petrou

Building privacy-first browser solutions and distributed systems for millions of users worldwide. Architecting scalable backend services using Python and TypeScript, implementing advanced algorithms for ad-blocking and privacy protection. Leading development of core platform features with React and Angular frontends.

Joined Boltive, a company in the AdTech and Privacy space working on complex and challenging backend and frontened features!

PhD researcher in the field of Programming Languages, specifically in the domain of Program Synthesis and Verification.

Joined IBM's Turbonomic platfrom and specifcally the API core team developing features and maintaining API component. Worked also in the HyperConverged team backend.

Worked as a Software Enginner in the Telecom Industry building stuff for backend and data engineer/ETL/reporting etc..

Served as a software analyst at Greek Army during my military service at Marine Special Forces.

Conducted research on algorithm verification using Liquid Haskell as part of my MSc thesis statement.