Ακαδημαϊκά
Υπήρξα ερευνητής στα πλαίσια του AETHER project, από το το οποίο έλαβα μερική χρηματική υποστήριξη και το οποίο αποτελεί μέρος του προγράμματος Future and Emerging Technologies της Ευρωπαϊκής Ένωσης και ασχολήθηκα με self-adaptive embedded systems for pervasive computing (2005 έως 2008).
Ερευνητικά Ενδιαφέροντα
Ενδιαφέρομαι για το σχεδιασμό και την υλοποίηση concurrent object-oriented γλωσσών.
Projects
AETHER (2005 – 2008), project της Ευρωπαϊκής Επιτροπής υπό την αιγίδα των Community Research and Development Information Service (CORDIS), Information Society Technologies (IST), Future and Emerging Technologies (FET), 6th Framework Programme (FP6). Συντονισθέν από τη Γαλλική Επιτροπή Ατομικής Ενέργειας (CEA) με 14 συνεργάτες από 9 χώρες και προϋπολογισμό €6M. Το project περιλάμβανε έρευνα σε self-adaptive embedded systems for pervasive computing.
Η έρευνά μου εστιάστηκε σε concurrency and message passing, scheduling and fairness, and programming language design and virtual machine implementations.
Δημοσιεύσεις
Fairness for Chorded Languages [pdf, bib] by Alexis Petrounias and Susan Eisenbach; 11th International Conference on Coordination Models and Languages, (COORDINATION 2009), Lisboa, Portugal; published in Lecture Notes in Computer Science (LNCS) 511, pages 86-105, Springer, June 2009.
A Featherweight Model for Chorded Languages [pdf, bib] by Alexis Petrounias, Sophia Drossopoulou, and Susan Eisenbach; Imperial College London, Department of Computing Technical Report, London, United Kingdom 2008.
SCHOOL: the Small Chorded Object-Oriented Language [pdf, bib] by Sophia Drossopoulou, Alexis Petrounias, Alex Buckley, and Susan Eisenbach; First Workshop on Developments in Computational Models (DCM), 32nd International Colloquium on Automata, Languages and Programming (ICALP), Lisbon, Portugal; published in Electronic Notes in Theoretical Computer Science (ENTCS) volume 135 issue 3, pages 37-47, Elsevier Press, March 2006.
Ομιλίες
- Concurrency using Chords (2006), invited talk at the British Colloquium on Theoretical Computer Science, Swansea, United Kingdom.
- SCHOOL: a Small Chorded Object-Oriented Language (2005), paper presentation at the 32nd International Colloquium on Automata, Languages and Programming (ICALP), Lisbon, Portugal.
Διδασκαλία
Συν-επιβλέπων διπλωματικών εργασιών (2006 – 2007) των τελειόφοιτων Demetris Nicolaou, Lefteris Volonakis, Xuefei Shen, and Shih-min Huang; βοήθησα την καθ. Susan Eisenbach στο Department of Computing, Imperial College London, United Kingdom.
Βοηθός Tutorial (2004 – 2005) για το μάθημα Ασφάλειας Δικτών; βοήθησα τους Dr. Naranker Dulay και Dr. Emil Lupu στο Department of Computing, Imperial College London, United Kingdom.
Φοιτητική εργασία
Ph.D. σε Software Engineering (2004 – 2008), SLURP group, Department of Computing, Imperial College London, United Kingdom; διατριβή στον τομέα του σχεδιασμού γλωσσών προγραμματισμού με τίτλο “On the Design of Chorded Languages” [pdf, bib]; τέλεσα υπό την επίβλεψη των καθ. Susan Eisenbach and καθ. Sophia Drossopoulou and εξετάσθηκα από τους Dr. Maribel Fernández και Dr. Sebastian Hunt.
My research focused on modern concurrency abstractions for object-oriented programming languages (chords and the join calculus), and scheduler specifications and guarantees of liveness, fairness and runtime performance.
M.Sc. in Advanced Computing (2003 – 2004), Department of Computing, Imperial College London, United Kingdom; 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.
B.Sc. in Computer Science (2000 – 2003), School of Cognitive and Computing Sciences, University of Sussex, United Kingdom; 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.
International Baccalaureate (1998 – 2000), Anatolia College, Thessaloniki, Greece; 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.
Trivia
My Erdös number is five, through the following sequence of co-authors: Prof. Susan Eisenbach (4): Prof. Jeff Kramer (3): Prof. Dov M. Gabbay (2): Prof. Saharon Shelah (1).