Dr. Alexis Petrounias

I am co-founder, investor, and CTO of modelogiq, a financial modeling services startup which supplies modeling and collaboration tools for private equity analysts and investors. My role includes systems analysis, information and software architecture, software engineering, technology strategy, hiring and mentoring, and project management.

I am co-founder of Synergy Softworks, a partnership of engineers, scientists, and analysts. Our specialties are software engineering, information architecture, systems analysis, and data science. My role includes market research, capital raising, identity and representation, partner and client liaising, and contracting.

As an external contractor to my client, I led a team of developers responsible for creating a prototype for a large-scale electronic commerce platform for business to business, retail, marketplace, and logistics operations.

As an external contractor to my client, I led a team of developers responsible for creating web services technologies and software for content delivery, portals, search engine optimization, e-commerce, and mobile content.

Research in self-adaptive embedded technologies for pervasive computing architectures. European Commission (EC) integrated project through the Distributed Software Engineering Group, Department of Computing, Imperial College London, United Kingdom. My research focused on concurrency and message passing, scheduling and fairness, and programming language design and virtual machine implementations.

Thesis in the field of programming language design, titled "On the Design of Chorded Languages"; supervised by Prof. Susan Eisenbach. Research on modern concurrency abstractions for object-oriented languages, and scheduler specifications and guarantees of liveness, fairness and runtime performance.

Thesis in the field of program security, titled "Atropos: A Dynamic Policy Enforcement Framework"; supervised by Dr. Naranker Dulay. My thesis focused on real-time byte-code transformation in virtual machines for the enforcement of policy-based security mechanisms.

Thesis in the field of computation, titled "The Turing Machine Workbench"; supervised by Dr. Bernhard Reus. My thesis focused on Turing machine encodings, simulation, visualisation, and programming.

Thesis in the field of mathematics, titled "A Digital Cryptographic Voting Protocol"; supervised by Dr. Angelos Kalaroutis. My thesis focused on distributed cryptographic voting protocols.