|
follow us
|
 |
 |
Happening now...


|
AIT Community / Faculty / Resident / Sofoklis Efremidis
|
|
CONTACT INFORMATION
Sofoklis Efremidis / Resident Professor
Athens Information Technology
PO Box 68, 19.5 km, Markopoulo Avenue
Peania 19002, Athens, Greece
Tel: (+) 30-210-668-2754
Mob: (+) N/A
Fax: (+) 30-210-668-2703
Email:sefr (at) ait (dot) edu (dot) gr |
PERSONAL DATA
Date and place of birth:
Citizenship:
Languages:
Marital status: |
SUMMARY
MAJOR ACHIEVEMENTS AT AIT
EDUCATION more
Ph.D. Computer Science, Cornell University, 1991 (Minor Mathematics), May. 1994. Thesis Title: "On Program Transformations". Advisor: Prof. David Gries
M.Sc. Computer Science, Cornell University, 1991.
Dipl. Ing. Electrical Engineering, National Technical University of Athens Greece, 1986. Thesis Title: "An Interpreter for Evaluation of Attribute Grammars" Advisor: Prof. George Papakonstantinou
DEGREES
Ph.D. Cornell University (Major Computer Science, Minor Mathematics)
M.Sc. Cornell University
Dipl. Ing. National Technical University of Athens (Electrical Engineering)
TEACHING EXPERIENCE
Instructor of graduate level courses on
- Distributed Systems (Spring 2009, 2008, 2007, 2006, 2005, 2004, 2003)
- Operating Systems (Spring 2009, 2008, 2007, 2006, 2005, 2004, 2003)
- Advanced Operating Systems and Distribtued Systems (Summer 2004, 2005)
- Object Oriented Programming (Fall 2008, 2007, 2005, Spring 2005)
- Software Engineering (Spring 2009, 2008)
- Secure Software Engineering (Fall 2008, local)
- Database Systems (Fall 2008, 2007, 2006)
- Programming Languages (Fall 2004, 2003, 2002)
- Information Systems Modeling (Fall 2004, 2003, 2002)
- Unix and C programming (Cornell University, Spring 1992 to Fall 1993)
- Practicum in Operating Systems (Cornell University, Fall 1988, Summer 1990)
Teaching Assistant for
- Computer Architecture (Cornell Univeristy, Spring 1991)
- Introduction to Programming (Cornell Univeristy, Spring 1990)
- Numerical Analysis (Cornell Univeristy, Fall 1989)
- Computer Graphics (Cornell Univeristy, Spring 1989)
PROFESSIONAL EXPERIENCE
- Representative of INTRACOM S.A. in Brussels, March 1999 – September 2003. Responsibilities included
- Management of the Representation office of INTRACOM S.A. in Brussels.
- Liaison with the EC and representation of INTRACOM S.A. to the EC events.
- Preparation and coordination of submission of research proposals to the EC.
- Representation of INTRACOM S.A. to project negotiations and reviews.
- Representation of INTRACOM S.A. and INTRACOM S.A. Telecom Solutions to the EU Framework Program Consultation meetings.
- Representation of INTRACOM S.A. Telecom Solutions to the FP7 Workshops
- Representative of the Federation of Greek Industries in the Working Groups of UNICE
- Project reviewer for EU IST and ESPRIT projects
- Establishment of Software Systems and Web Technologies laboratory at Athens Information Technology
- Co-heading of the Software Engineering and Web Applications Research Group at Athens Information Technology
- Heading of the Software Systems Research Group at Athens Information Technology
- Member of the peer review committee for recruitment of prospective applicants at Athens Information Technology
- Member of the Admissions Committee for the MSITT program of Athens Information Technology
- Project Coordinator, Communications Software Technologies, Development Programs Department, INTRACOM S.A., October 1996 to February 1999
- System analyst, designer, programmer. 19941996, Hellenic Air Force Headquarters
RESEARCH EXPERIENCE
- Research on dependable systems, distributed systems and architecut, middleware technologies and services, modeling, software engineering and configuration management, service oriented architectures, applications of sensor networks, porting of mobile applications, applications of machine learning techniques.
- Applicability and comparative studies of software development methodologies for Web-based tele-education systems.
- Research on program transformation techniques, in particular the mapping of abstract user-defined data types to concrete implementations with the use of transformation rules. Design and analysis of algorithms for program transformations. Design and implementation of programming language constructs as part of the experimental language Polya, as well as their applicability to algorithms that employ abstract data types.
- Research on embedding of Attribute Grammars in functional languages. ML was augmented to support definition and evaluation of attributes associated with terms.
- Research on theoretical aspects of Attribute Grammars, and the computational power of several classes of attribute grammars. Design and development of dynamic evaluators for Attribute Grammars
In more detail
- Technologies and infrastructures for the enhancement of the dependability of systems that manage critical infrastructures. Specialized technologies were developed for Linux in the context of this research.
- Technologies for software configuration management of home environment applications, case studies for 3 play service platforms.
- Technologies for supporting building operational services by employing sensor network technologies.
- Model Driven Architectures for the modeling and development of complex distributed services. Applicability of MDA to telecom services and mappings from platform independent to platform specific models for diverse middleware and hardware platforms.
- Middleware services for distribution and configuration of distributed applications. Formalisms for expressing distribution and configuration requirements as well as specifications of middleware capabilities for the support of distribution and configuration of distributed applications.
- Agent technologies and their application to service selection and provision in personal mobility context.
- Methodologies and service creation for the development of telecommunications services. UML and SDL were employed for the modeling and development of distributing telecom applications with TINA as the reference architecture and CORBA and Internet the distributed platforms.
RESEARCH INTERESTS
- Software systems
- Distributed and dependable software technologies
- Web and Semantic Web technologies
- Sensor networks and applications
- Home networking and applications
- Applications and games for mobile devices
- Social networking applications
- Programming languages
INTERNATIONAL / NATIONAL PROJECTS
- EU IP project DESEREC (FP6-IST-2004-026600). 1/1/2006-30/4/2009, duration 40 months.
- EU STREP project COMANCHE (FP6-IST-034909). 1/9/2006-30/11/2008, duration 26 months.
- EU IP project I3CON (FP6-NMP-026771). Started 1/10/2006, duration 48 months.
- EU project COACH (FP5-IST-2001-34445).
- EU project MODATEL (FP5-IST-2001-37785).
- EURESCOM P924 (EURESCOM, subcontracting to OTE).
- EU ACTS project MONTAGE, 1998-2000
- EU ACTS project TRUMPET, 1996-1999
- EU ACTS project SCREEN, 1996-1998
TUTORIALS / SHORT COURSES / EXECUTIVE TRAINING
- SUN Professional Series on Java Programming
- Software Engineering
- Unified Modeling Language
- Object Oriented Programming
- Java Programming
- Distributed Programming in Java
- Programming Languages
STUDENT THESES SUPERVISED
- Design and Implementation of an object oriented language, April 2005
- A Simulator for self replicating and self repairing automata, January 2006
- Intrusion Detection Techniques, Fall 2005
- Intrusion Detector driven by program specifications (also: SMART “Syscall Monitoring and Auditing Tool), December 2006
- Ontology-Based Smart Home Networks, September 2007.
- Runtime version updating of software components, May 2008.
- A Peer-2-Peer Mobile Communication Framework, June 2008
SOCIETIES
ACM, IEEE, Technical Chamber of Greece
HONOURS/NOMINATIONS/DISTINCTIONS
EDITORIAL WORK / PAPER REVIEWING
- Member of the Technical Program Committee, SENSAPPEAL 2009, Athens, Greece
- Member of the Technical Program Committee, ICEST 2009, Sofia, Bulgaria
- Member of the Technical Program Committee, CCNC 2009, Las Vegas, U.S.A.
- Reviewer, Computer Communications Journal, Elsevier
- Reviewer, 4th IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI 2007)
- Reviewer, Mobile Summit 2006
- Program Committee, 3rd European Starting AI Researcher Symposium, STAIRS 2006
- Member of the Technical Program Committee, Eurescom 2005 Summit
- Member of the Technical Program Committee, Eurescom 2003 Summit
- Member of the Technical Program Committee, IS&N2000 Conference
PUBLICATIONS more
Journal Papers
Grid-based Virtual Laboratory Experiments for a Graduate Course on Sensor Networks, I. Christou, S. Efremidis, T. Tiropanis. IEEE Transactions on Education, Special issue on use of grid technologies. Vol. 50, Number 1, February 2007.
Use of Agent Technology in Service and Retailer Selection in a Personal Mobility Context, S. Efremidis, et. al. Journal of Computer Networks, pp. 20792098, Elsevier-North Holland, 31, 1999.
Mobile Agents in Support of Personal Mobility, D. Prevedourou, K Zygourakis, S. Efremidis, A. Kind, J. Nicklisch, G. Stamoulis, D. Kalopsikakis, A. Kirikoglou. Journal of Network and Service Management, 1999.
Agent based Personal Mobility Support, S. Efremidis, D. Prevedourou, K. Zygourakis, G. Stamoulis, P. Demestichas. Special Issue on advanced Strategies and Technologies for Broadband Telecommunications Management, ICON Journal, 1999.
AML: Attribute Grammars in ML, S. Efremidis, K. Mughal, J. Reppy, L. Soraas. Nordic Journal of Computing. 4(1): 3765, Spring 1997.
Semantically Driven Parsing of Context Free Languages, S. Efremidis, M. Sideris, G. Papakonstantinou. The Computer Journal, vol. 32, No. 1, 1989.
Complexity Characterizations of Attribute Grammar Languages, S. Efremidis, C. Papadimitriou, M. Sideris. Information and Computation, vol. 77, 1988. Elsevier Publishers.
Conference Papers
Oblique Decision Trees Using Embedded Support Vector Machines in Classifier Ensembles, V. Menkovski, I. T. Christou, and S. Efremidis, IEEE CIS 2008.
An Intelligent CASE Tool for Porting Mobile Java Applications. I. T. Christou, S. Efremidis, A. Roukounaki, M. Anapliotis. 4th IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI), 2007. 19–21 September, 2007.
An Evolving Oblique Decision Tree Ensemble Architecture for Continuous Learning Applications. I. T. Christou and S. Efremidis. 4th IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI), 2007. 19–21 September, 2007.
Software Configuration Management for ambient intelligence: the COMANCHE approach, S. Grilli, E. Makri, N. Mouratidis, K. Steblovnik, S. Efremidis, P. Mähönen, E. Meshkova. IEEE International Symposium on Ubiquitous Computing and Intelligence, UCI 2007, Niagara Falls, Canada.
An Intrusion Detection System for Network-Initiated Attacks Using a Hybrid Neural Network, S. Koutsoutos, I. Christou, S. Efremidis. 3rd IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI) 2006, University of Aegean. June 7–9, 2006. Also published in IFIP International Federation for Information Processing, Springer Boston, 2006.
Seamless and Dynamic Invocation of Web Services from within CORBA Environments, P. Zikos, S. Efremidis, T. Tiropanis. IEEE International Conference on Web Services (ICWS 2005), Orlando, Florida, July 2005.
Cooling the Hell of Distributed Applications’ Deployment, J. Bonnet, F. Dubois, S. Efremidis, P. Leonardo, N. Malavazos, D. Vincent, IS&N 2000 Conference, Athens, Greece. Also in Lecture Notes in Computer Science, Springer Verlag, 2000.
Agent-based Service and Retailer Selection in a Personal Mobility Context, G. Stamoulis, D. Kalopsikakis, A. Kirikoglou, V. Siris, D. Prevedourou, S. Efremidis, H. Jormakka. IS&N 99 Conference, Barcelona, Spain. Also in Lecture Notes in Computer Science 1597, pp. 429442, Springer Verlag, 1999.
TINA-oriented Service Engineering Support to Service Composition and Federation. S. Efremidis, D. Prevedourou, L. Demounem, K. Milsted, H. Zuidweg. IS&N 98 Conference, Anwerpen, Belgium. Also in Lecture Notes in Computer Science 1430, pp. 409422, Springer Verlag, 1998.
Teaching Software Engineering through the Net, S. Efremidis, S. Retalis, N. Papaspyrou, M. Skordalakis. Proceedings of the 1997 Software Quality Engineering Conference, Udine, Italy, May 1997.
The AML Project: A System Overview, S. Efremidis, K. Mughal, J. Reppy. Proceedings of the 1992 Norwegian Informatics Conference, Tromsoe, Norway, November 1992, pp. 129135, TAPIR, 1992.
Attribute Grammars in ML, S. Efremidis, K. Mughal, J. Reppy. Proceedings of the ACM SIGPLAN 1992 Workshop on ML and its Applications, San Francisco, California, June 1992, pp. 194200.
Complexity Characterizations of Attribute Grammar Languages, S. Efremidis, C. Papadimitriou, M. Sideris. Proceedings of the Second Structures in Complexity Theory Conference, June 1987, Cornell University, U.S.A.
Error Recovery Using Attribute Grammars, S. Efremidis, G. Papakonstantinou, M. Sideris, M. Skordalakis. System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches, vol. 2, pp. 123132, 1987, S. Tzafestas editor, D. Reidel Publishing Company.
BOOKS
(Chapter) A Classifier Ensemble Approach to Intrusion Detection of Network Initiated Attacks, S. Koutsoutos, I. T. Christou, and S. Efremidis. Emerging Artificial Intelligence Applications in Computer Engineering. IOS Press 2007.
CITATIONS
PAPER AWARDS
INVITED LECTURES / CHAIRED SESSIONS / PANELS
- Talk “Software updates”, ESTIA Workshop, Stuttgart, 11−12 March 2008.
- Talk “COMANCHE”, EC IST Concertation meeting on Software Technologies, September 25, 2006.
- Talk “Systems Dependability”, Athens Information Technology Research Seminar, February 2006.
- Talk “Designing Dependable Systems”, Information Security Workshop, Athens Information Technology, May 5, 2005.
- Talk “Self Healing Systems: current views and future expectations”, AIT Research Seminar, April 22, 2005.
- Session "Service Creation", Paving the way for and Open Service Market, (IS&N99, April 27-29, Barcelona, Spain)
CONFERENCE/ SYMPOSIUM / WORKSHOP ORGANIZATION
- DESEREC 2nd Training Workshop, September 2007, Athens, Greece
PATENTS
Download Bio
|