SOFOKLIS EFREMIDIS 

Assistant Professor, AIT

1. CONTACT DETAILS

2. ACADEMIC TITLES

•  Ph.D. in Computer Science, Cornell University, U.S.A., May 1994. Minor in Mathematics.

• M.Sc. in Computer Science, Cornell University, U.S.A., August 1991.

• Diploma in Electrical Engineering, National Technical University of Athens, Greece, September 1986.

3. RESEARCH INTERESTS

• Distributed, dependable and autonomic systems, middleware technologies
• Software technologies, web technologies
• Programming languages
• Operating systems
• Software engineering, methodologies, modeling, and formal methods

4. RESEARCH EXPERIENCE

4.1 Academic

• Assistant Professor, Athens Information Technology, since June 2004. Research activities on middleware, modeling, dependable systems, applications of sensor networks, software configuration management.
• Research Associate, National Technical University of Athens, Department of Electrical Engineering, Division of Computer Science, Laboratory of Software Engineering, April 1996 to October 1996. Research and development of Web-based distant-educational systems.
• Research Assistant, Cornell University, Department of Computer Science (Professor D. Gries), Fall 1990 to Spring 1994. Research on Program transformation techniques (Project Polya) and Attribute Grammar embedding in functional languages (Project AML).
• Research Assistant, National Technical University of Athens, Department of Electrical Engineering, Division of Computer Science, Fall 1986 and Spring 1987. Research on theoretical issues and evaluation techniques for Attribute Grammars.

The following topics were addressed in European research projects:

• Distributed and dependable systems

• Software configuration management

• Applications of sensor networks

• Methodologies and service creation practices for the development of telecommunications services. Use of UML and SDL for the modeling and development of distributing applications for TINA, CORBA, and Internet target architectures.

• Agent technologies and their application to service selection and provision in a personal mobility context, which extends the TINA architecture. User profile as well as accounting and charging issues were addressed.

• 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.

• Model Driven Architectures for the modeling and development of complex distributed services.

5. PROFESSIONAL EXPERIENCE

• Program and Technical Committee member of various Conferences (Eurescom Summit 2003, 2005, STAIRS 2006)
• Project Leader, Eurescom Project P924 (deployment and configuration support for distributed PNO applications).
• Representative of INTRACOM S.A. in Brussels March 1999 to September 2003.
• Representative of the Federation of Greek Industries in various Working Groups of UNICE.
• EC Project reviewer for ESPRIT project VIRES, and IST projects COMPONENT+ and SODETEL.
• Project Coordinator, Communications Software Technologies, Development Programs Department, INTRACOM S.A., October 1996 to February 1999.
• System analyst, designer, programmer, Hellenic Air Force Headquarters, 1994–1996.
   

6. TEACHING EXPERIENCE

• Athens Information Technology, MSIN program: Graduate level courses on Information Systems Modeling, Programming Languages, Distributed Systems, Operating Systems.
• Athens Information Technology, MSITT program: Graduate level courses on Object Oriented Programming, Operating Systems.
• Athens Information Technology, Professional courses on the Programming Languages C, C++, Java.
• Cornell University: Advanced undergraduate level courses on Operating Systems Design and Implementation, Computer Architecture, Numerical Analysis, Computer Graphics, Unix and C Programming.
  

7. PAPERS AND PUBLICATIONS

• Grid-based Virtual Laboratory Experiments for a Graduate Course on Sensor Networks, Ioannis Christou, Sofoklis Efremidis, Thanassis Tiropanis. IEEE Transactions on Education, Special issue on use of grid technologies (to be published).
• An Intrusion Detection System for Network-Initiated Attacks Using a Hybrid Neural Network, Stefanos Koutsoutos, Ioannis Christou, Sofoklis 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 Use of Web Services from within CORBA environments, P. Zikos, T. Tiropanis, S. Efremidis, submitted, IEEE, Internet Computing, 2004.
• 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. 429442, Springer Verlag, 1999.
• Use of Agent Technology in Service and Retailer Selection in a Personal Mobility Context, S. Efremidis, et. al. Journal of Computer Networks, pp. 20792098, 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.
• 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. 409422, Springer Verlag, 1998.
  AML: Attribute Grammars in ML, S. Efremidis, K. Mughal, J. Reppy, L. Soraas. Nordic Journal of Computing. 4(1): 3765, Spring 1997.
• 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.
• On Program Transformations, Ph.D. Thesis, Cornell University, May 1994.
• AML: Attribute Grammars in ML, S. Efremidis, K. Mughal, J. Reppy. Technical Report, Department of Computer Science, Cornell University TR 93/1401, December 1993 (also Report No. 89, Reports in Informatics, University of Bergen, Norway).
• An Algorithm for Processing Program Transformations, S. Efremidis, D. Gries. Technical Report, Department of Computer Science, Cornell University TR 93/1389, October 1993.
• The AML Project: A System Overview, S. Efremidis, K. Mughal, J. Reppy. Proceedings of the 1992 Norwegian Informatics Conference, Tromsoe, Norway, November 1992, pp. 129135, 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. 194200.
• Complexity Characterizations of Attribute Grammar Languages, S. Efremidis, C. Papadimitriou, M. Sideris. Information and Computation, Vol. 77, 1988 (also Proceedings of the Second Structures in Complexity Theory Conference, June 1987, Cornell University, U.S.A.).
• Semantically Driven Parsing of Context Free Languages, S. Efremidis, M. Sideris, G. Papakonstantinou. The Computer Journal, Vol. 32, No. 1, 1989.
• 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. 123132, 1987, S. Tzafestas editor, published by D. Reidel Publishing Company.
• The Implementation of the system SDF, S. Efremidis, G. Papakonstantinou, M. Sideris. Technical Report, Department of Electrical Engineering, Division of Computer Science, National Technical University of Athens, 1986.
• An Interpreter for Evaluation of Attribute Grammars, Undergraduate Degree Thesis, Department of Electrical Engineering, Division of Computer Science, National Technical University of Athens, 1986.