Alexis Petrounias

Ph.D. in Software Engineering, M.Sc. in Advanced Computing, B.Sc. in Computer Science
Imperial College London · Department of Computing

I am a technology consultant and information systems engineer based in Athens and Thessaloniki, Greece. I offer advice to companies regarding their information architecture, and contract software projects. I lead teams of developers through the entire life-cylcle of technology projects, including maintenance.

I provide value to organizations by bringing extensive practical experience coupled with a portfolio of successful projects, a worldwide personal network of professionals in a diverse set of software-related fields, and a thorough understanding of global developments in technology along with comprehensive and detailed knowledge of the Greek IT sector and corresponding markets.

My roles have ranged from researcher to software engineer to technology entrepreneur. I have successfully led and mentored teams of developers, as well as transitioned companies from technology capability to end product. I am a strong technical writer and presenter, capable of communicating with both engineering and business audiences.

I design software which aims to be reliable, fault tolerant, scalable, and easy to maintain. I help my clients avoid costly, inflexible, vendor-specific lock-in, as well as ensure they utilize open standards and established web services effectively and economically.

I have worked on various projects with large media organizations, as well as various independent content creators, designers, artists, e-commerce retailers, scientists, legal professionals, and politicians, helping them realize personalized technology and web presence solutions.

Research interests

  • Interests
    Scheduling, Concurrency

Research experience

  • Oct 2005–
    May 2008
    Research: AETHER
    Imperial College London · Department of Computing · Imperial College London
    Distributed Software Engineering · London

Education

  • Sep 2004–
    May 2008
    Imperial College London
    Ph.D. in Software Engineering
    United Kingdom · London
  • Sep 2003–
    Jul 2004
    Imperial College London
    M.Sc. in Advanced Computing
    United Kingdom · London
  • Sep 2000–
    Jul 2003
    University of Sussex
    B.Sc. in Computer Science
    United Kingdom · Brighton

Other

  • Languages
    English, Greek

Publications

  • Fairness for Chorded Languages

    Alexis Petrounias, Susan Eisenbach

    11th International Conference on Coordination Models and Languages, Lisboa, Portugal; 01/2009

    Joins or chords is a concurrency construct that seems to fit well with the object oriented paradigm. Chorded languages are presented with implicit assumptions regarding the fair treatment of processes by the scheduler. We define weak and strong fairness for the Small Chorded Object-Oriented Language... [more] Joins or chords is a concurrency construct that seems to fit well with the object oriented paradigm. Chorded languages are presented with implicit assumptions regarding the fair treatment of processes by the scheduler. We define weak and strong fairness for the Small Chorded Object-Oriented Language (l SCHOOL) which allows the classification of executions as fair. We investigate the liveness behaviour of programs and establish worst-case behaviours in terms of scheduling delays. We discover that weak fairness, although giving the scheduler implementer greater freedom in selecting the next process which is to be executed, is harder to implement than strong fairness; strong fairness benefits from a straightforward implementation, however, imposes many more constraints and limits the selection function of a scheduler.
  • On The Design of Chorded Languages

    Alexis Petrounias

    01/2008

    Degree: Ph.D. in Software Engineering

    Supervisor: Susan Eisenbach, Sophia Drossopoulou

  • A Featherweight Model for Chorded Languages

    Alexis Petrounias, Sophia Drossopoulou, Susan Eisenbach

    Imperial College Department of Computing Technical Report. 01/2008;

    Chords are a concurrency mechanism of object-oriented languages inspired by the join of the Join-Calculus. We present SCHOOL, the Small Chorded Object-Oriented Language, a featherweight model which aims to capture the essence of the concurrent behaviours of chords. Our model serves as a generalisati... [more] Chords are a concurrency mechanism of object-oriented languages inspired by the join of the Join-Calculus. We present SCHOOL, the Small Chorded Object-Oriented Language, a featherweight model which aims to capture the essence of the concurrent behaviours of chords. Our model serves as a generalisation of chorded behaviours found in existing experimental languages such as Polyphonic C-sharp. Furthermore, we study the interaction of chords with fields by extending SCHOOL to include fields, resulting in fSCHOOL. Fields are orthogonal to chords in terms of concurrent behaviours. We show that adding fields to SCHOOL does not change its expressiveness by means of an encoding between the two languages.
  • SCHOOL: the Small Chorded Object-Oriented Language

    Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, Susan Eisenbach

    Electronic Notes in Theoretical Computer Science. 01/2006; 135:37-47.

    Chords are a declarative synchronisation construct based on the Join-calculus, available in the programming language C-omega. To our knowledge, chords have no formal model in an object-oriented setting. In this paper we suggest SCHOOL, a formal model for an imperative, object-oriented language with ... [more] Chords are a declarative synchronisation construct based on the Join-calculus, available in the programming language C-omega. To our knowledge, chords have no formal model in an object-oriented setting. In this paper we suggest SCHOOL, a formal model for an imperative, object-oriented language with chords. We give an operational semantics and type system, and can prove soundness of the type system.

Following (0)

4
Publications
9
Followers
Past advisors
Sophia Drossopoulou
Susan Eisenbach