Sotirios Skevoulis
Professor
Software Engineering Program Chair

E-mail: sskevoulis@pace.edu

Personal Website:
Click Here

School/College:
  • Seidenberg School of Computer Science and Information Systems

Department(s):
  • Computer Science NY

Primary Location:
163 William Street 220

Office Hours: (Spring 2014)
Tuesday, Thursday
3:30PM-6:00PM

Office Phone:
+1 (212) 346-1866

Education

PhD, DePaul University, 1999
Computer Science

MS, Fairleigh Dickinson University, 1993
Computer Science

BS, University of Patras, Patras, Greece, 1988
Mathematics

Scheduled Courses

Spring 2014:
  • CS 653: Cryptography & Comp Sec
  • SE 700: Independent Study
  • SE 673: Software Design Methodologies
  • SE 785: Software Engineering Studio

View All Courses Taught
  • CIS 101: Downtown New York
  • CIS 101: Forensic Computing
  • CIS 101: Introduction to Computing
  • CS 113: Mathematical Structures for CS
  • CS 199: Tpc:Formal Discrete Structures
  • CS 396: Topic: Formal Software Dvlpmnt
  • CS 397: Topic: Software Design
  • CS 490: Ind Study in Computer Science
  • CS 502: Fundamentals of Programming
  • CS 600: Indpndnt Study in Grad CS
  • CS 602: Fndmntl Cmptr Sci I with Java
  • CS 616: Softwre Engineering Seminar II
  • CS 630: Intelligent Agents
  • CS 653: Cryptography & Comp Sec
  • CS 691: Computer Science Project I
  • CS 691: Computer Science Projects
  • CS 692: Computer Science Project II
  • CS 693: Thesis I
  • CS 694: Thesis II
  • CS 699: Field Study
  • CS 773: Software Design Methodologies
  • CS 775: System Requirement Engineering
  • CS 777: Sftwre Rlabilty & Qlty Assrnce
  • CS 785: Software Development Studio I
  • CS 786: Software Development Studio II
  • CS 825: Cmpnnt Arch Entrprs App Dev
  • CS 831: Math Mdlng of Sftwr Artifacts
  • CS 851: Sftwr Validation & Verifcation
  • CS 890: Sftwre Dvlpmnt/HCI/Sftwre Mgt
  • CS 896: Software Research Seminar
  • IT 607: System Dvlpmnt & Prjct Mgmnt
  • IT 668: Building Secure Software I
  • IT 669: Building Secure Software II
  • IT 690: Building Secure Software I
  • IT 690: Special Tpcs in Internet Tech
  • IT 691: Capstone Project
  • SE 602: Fundmntl Cmptr Sci I with Java
  • SE 616: Intro to Software Engineering
  • SE 673: Software Design Methodologies
  • SE 675: Requirements Engineering
  • SE 677: Software Reliability & Quality
  • SE 679: Contemp Software Engineering
  • SE 700: Independent Study
  • SE 785: Software Engineering Studio
  • SE 790: Topics in Software Development
  • SE 796: Software Research Seminar
  • Research Interests

    Formal Methods; Software Development; Object-Oriented Technology and Languages; Software Engineering;

    Awards and Honors

    • NULL, - Award of Excellence, DePaul University, May 1997, May 1998 and May 1999
    • Pace University, School of Computer Science and Information Systems, - Excellent In Research Award 2001

    PROFESSIONAL MEMBERSHIPS

    • Association for Computing Machinery [Member]
    • CSEE&T [Member, Organizing Committee for CSEE&T]
    • Formal Methods Europe [FMEurope Member]
    • Institute of Electrical and Electronics Engineers (IEEE) [Member]

    Contract, Grants, and Sponsored Research

    • CSIS School [Grant]
      Pace University, CSIS School , Pace University , $6,000.00
      Funded,Awarded a summer research grant by the CSIS School to develop promote a Formal Methods website and lead a worldwide research effort hosted on Pace servers
    • National Science Foundation Grant [Grant]
      National Science Foundation , Other , $73,423.00
      Funded,Awarded for work on "Integrating Formal Methods Tools into the Undergraduate Cirriculum". Award # DUE-0126991 2001

    Publications

    • Other [Published]
      Evaluation of Pace University's Master's Degree Program for BNY Mellon Employees
      Proceedings of The Michael L. Gargano 10th Annual Student/Faculty Research Day , May 1 2012
    • Conference Proceeding [Published]
      Engineering a Successful Partnership Between Academia and the Financial Industry: A Software Engineering Program for IT Professionals
      Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training – CSEE&T 2011 , May 1 2011
    • Conference Proceeding [Published]
      Engineering a Software Supported Health Risk Appraisal Method: A Joint Effort Between Academia and Health Care Industry
      Proceedings of the 22nd Institute of Electrical and Electronics Engineers Computer Society – IEEE-CS Conference on Software Engineering Education and Training – CSEET&T , February 1 2009
    • Other [Published]
      Engineering a Software Supported Health Risk Appraisal Method: A Joint Effort Between Academia and Health Care Industry
      Proceedings of the 22nd Conference on Software Engineering Education and Training – CSEET 2009 , February 1 2009
    • Conference Proceeding [Published]
      Pace University and Blended Learning – Forging New Partnerships at Home and Abroad
      Proceedings of the 12th Annual Sloan-C International Conference on Asynchronous Learning Networks , April (2nd Quarter/Spring) 1 2007
    • Conference Proceeding [Published]
      Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum
      Proceedings of the 36th Annual Frontiers in Education Conference , October (4th Quarter/Autumn) 1 2006
    • Conference Proceeding [Published]
      Podcasts: Changing the Face of e-Learning
      Proceedings of the 2006 International Conference on Software Engineering Research and Practice – SERP '06 , June 26 2006
    • Working Paper [In Preparation; Not Yet Submitted]

      A Software Based Approach to Improving Patient Cardiovascular Health. A Coronary Heart Disease Risk Factor Calculator , December 31 2005
    • Working Paper [In Preparation; Not Yet Submitted]

      What Ever Your Say. Cross-Cultural Software Communications Tool , December 31 2005
    • Working Paper [In Preparation; Not Yet Submitted]

      Measuring the Effectiveness of Software Engineering Courses. A Student's Perspective , December 31 2005
    • Journal Article, Academic Journal [Published]
      A Light-Weight Approach to Applying Formalization in Software Development
      Automated Software Engineering Journal , December 1 2005
    • Conference Proceeding [Published]
      JAIDE: A Formal Methods Based Student Assistant Tool for Developing Java Programs
      Proceedings of the International Conference in Computer and Information Systems - ICCIS '05 , June 1 2005
    • Cited Research [Published]
      An Overview of Real-Time CORBA and Object-Oriented Modeling with UML by Frej Drejhammer
      SAAB Tech , December 31 2004
    • Cited Research [Published]
      Database Development of a WorkFlow Planning and Tracking System Using VDMSL by Rudolf Schlatte and Bernhard K. Aichernig
      December 31 2004
    • Other [Published]

      Jaide: An Instructional Tool for Teaching Formal Software Development , December 31 2004
    • Other [Published]

      Center for the Advancement of Formal Methods Education , December 31 2004
    • Other [Published]

      The Center for the Advancement of Formal Methods: Research Centers' Web Sites , December 31 2004
    • Cited Research [Published]
      Software Synthesis for System Level Design Using Process Execution Trees by L.J. van Bokhoven, J.P.M. Voeten, M.C.W. Geilen
      December 31 2004
    • Conference Proceeding [Published]
      Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum
      Proceedings of the NSF, CISE/EHR/ENG Engineering and Computing Education Grantees Meeting , February 16 2004
    • Conference Proceeding [Published]
      Integrating Formal Methods Tools into Undergraduate Computer Science Curriculum
      Proceedings of the NSF, CISE/HER/ENG Engineering and Computing Education Grantees Meeting , February 1 2004
    • Software [Published]

      Jaide , December 31 2003
    • Other [Published]

      Java Servlets and Access Databases , December 31 2002
    • Conference Proceeding [Published]
      Integrating Formal Methods Tools Into Undergraduate Computer Science Cirriculum
      Proceedings of the 7th Annual ACM SIGCSE Conference on Innovation and Technology in Computer Science Education , June 1 2002
    • Other [Published]
      Working with a Formal Methods Based Static Analysis Tool to Detect Errors in Java Programs
      Proceedings of the Richard Topia Celebration in Diversity in Computing Symposium , October (4th Quarter/Autumn) 30 2001
    • Other [Published]
      Working with a Formal Methods Based Static Analysis Tool to Detect Errors in Java Programs
      Proceedings of the Richard Tapia Celebration of Diversity in Computing Conference 2001 , October (4th Quarter/Autumn) 1 2001
    • Conference Proceeding [Published]
      A Transformation Mechanism to Facilitate Verification of Java Programming Properties
      Proceedings of the 4th International Conference on Systemics, Cybernetics and Informatics , August 1 2001
    • Conference Proceeding [Published]
      A Transformation Mechanism to Facilitate Verification of Java Program Properties
      Proceedings of the 5th International Conference on Systemics, Cybernetics and Informatics , July (3rd Quarter/Summer) 1 2001
    • Technical Report [Published]
      Generic Invariant-Based Static Analysis Tools for Detection of Runtime Errors in Java Programs
      CSIS Technical Report , April (2nd Quarter/Spring) 1 2001
    • Conference Proceeding [Published]
      Automatic Verification of Java Program Properties Using a Lightweight Formal Methods Approach
      Proceedings of Formal Methods Europe - FME2001 - AVIS , March 1 2001
    • Conference Proceeding [Published]
      Generic Invariant-Based Static Analysis Tool for Detection of Routine Errors in Java Programs
      Proceedings of the 37th International Technology of Object-Oriented Languages and Systems Pacific Conference , September 1 2000
    • Conference Proceeding [Published]
      A Formal Methods Based Static Analysis Approach for Detecting Runtime Errors in Java Programs
      Proceedings of the 14th European Conference on Object-Oriented Programming - ECOOP 2000 , July (3rd Quarter/Summer) 1 2000
    • Conference Proceeding [Published]
      Applying an Invariant Based Approach to Detecting Illegal Array Indices in Java Programs
      Proceedings of the Fourth World Multiconference on Systemics, Cybernetics and Informatics - SCI2000 , July (3rd Quarter/Summer) 1 2000
    • Conference Proceeding [Published]
      A Generic Approach of Static Analysis for Detecting Runtime Exceptions in Java Programs
      Proceedings of the Twenty-Third Annual IEEE International Computer Software and Application Conference , October (4th Quarter/Autumn) 1 1999
    • Conference Proceeding [Published]
      Detecting Pointer Violations in Java Programs
      Proceedings of the Twenty-Third Annual IEEE International Computer Software and Application Conference , October (4th Quarter/Autumn) 1 1999
    • Conference Proceeding [Published]
      Applying Static Analysis for Detecting Points in Java Programs
      Proceedings of the Fifth International Conference on Information Systems Analysis and Synthesis - ISAS '99 , August 1 1999
    • Research Report [Published]
      Using a Light-Weight Theorem Prover in Code Synthesis and Optimization from Formal Specifications
      Technical Report, School of Computer Science, Information Systems and Telecommunications, DePaul University , June 1 1999
    • Other [Published]

      Venus: A User's Guide , August 1 1998
    • Conference Proceeding [Published]
      Code Synthesis Based on Object Oriented Design Models and Formal Specifications
      Proceedings of the 22nd Annual IEEE International Computer Software and Application Conference , August 1 1998
    • Conference Proceeding [Published]
      A Light-Weight Approach to Formal Methods
      Proceedings of the Software Engineering Symposium , May 1 1998
    • Other [Published]

      Venus: A C++ Code Generation Tool , May 1 1998
    • Other [Published]
      Synthesizing C++ Code from Object-Oriented Models and Specifications
      Venus: An Object-Oriented Development Tool , November 1 1997

    PRESENTATIONS

    • Breaking New Ground in Information Assurance [Other]
      Title: Participant
      Pace Annual Report Roundtable on Software Security, New York, NY
    • UPE Honor Society [Other]
      Title: Inductee
    • "Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum" [Other]
      Title: NSF, CISE/EHR/ENG Engineering and Computing Education Grantees Meeting
      NSF, CISE/EHR/ENG Engineering and Computing Education Grantees Meeting, Washington, DC
    • National Science Foundation [Other]
      Title:
      National Science Foundation
    • CSEE&T [Other]
      Title:
      CSEE&T, Madrid, Spain
    • National Society of Black Engineers (Pace Chapter) [Other]
      Title:
      Pace University
    • Polytechnic University Colloquium [Keynote/Plenary Address]
      Title:
      Polytechnic University
    • Mathematics/Computer Science Seminar [Other]
      Title:
      Pace University
    • ITiCSE 2002 [Other]
      Title:
      ITiSCE
    • CSEE&T [Other]
      Title:
      CSEE&T
    • ECOOP 2002 [Other]
      Title:
      ECOOP
    • Systemics, Cybernetics and Informatics [Other]
      Title:
      SCI, Orlando, FL
    • Diversity Across the Cirriculum [Other]
      Title:
    • 37th International Technology of Object-Oriented Languages and Systems Pacific Conference [Other]
      Title: Generic Invariant-based Static Analysis Tool for Detection of Routine Errors in Java Programs
      Sydney, Australia
    • 14th European Conference on Object-Oriented Programming - ECOOP 2000 [Other]
      Title: A Formal Methods Based Static Analysis Approach for Detecting Runtime Errors in Java Programs
      Cannes, France
    • The Fourth World Multiconference on Systemics, Cybernetics and Informatics [Other]
      Title: Applying an Invariant Based Approach to Detecting Illegal Array Indices in Java Programs
      Orlando, Florida
    • 14th European Conference on Object-Oriented Programming - ECOOP [Other]
      Title: A Formal Methods Based Static Analysis Approach for Detecting Runtime Errors in Java Programs
      Sophia-Antipolis, France
    • 4th World Multiconference on Systemics, Cybernetics and Informatics - SCI 2000 [Other]
      Title: Applying an Invariant Based Approach to Detecting Illegal Array Indices in Java Programs
      Orlando, FL
    • 23rd Annual International Computer Software and Application Conference [Other]
      Title:
      Phoeniz, AZ
    • 23rd Annual IEEE International Computer Software and Application Conference [Other]
      Title: Detecting Null Pointer Violations in Java Programs
      Phoenix, AZ
    • 5th International Conference on Information Systems Analysis and Synthesis [Other]
      Title: Applying Static Analysis for Detecting Null Pointers in Java Programs
      Orlando, FL
    • Code Synthesis Based on Object Oriented Design Models and Formal Specifications [Other]
      Title: 22nd Annual International Computer Software and Application Conference
      Vienna, Austria
    • A Light-Weight Approach to Formal Methods [Keynote/Plenary Address]
      Title: DePaul University Spring '98 Software Engineering Symposium
      DePaul University, Chicago, IL
    • Fall '97 Ph.D. Colloquium [Other]
      Title: DePaul University Fall '97 Ph.D. Colloquium
      DePaul University, Chicago, IL
    • Software Engineering Symposium [Keynote/Plenary Address]
      Title: Twice a year (Fall and Spring) for years 1996-1999
      DePaul University, Chicago, IL

    Department Service

    • ITiCSE [Attendee, Meeting]
    • National Science Foundation [Attendee, Meeting]
    • Pace University, Computer Science & Information Systems [Faculty Advisor]
    • Association for Computing Machinery [ACM Referee of the International Student Research Competition]
      Desc: ACM Referee of the International Student Research Competition
    • Pace University [Faculty Advisor]
      Desc: Advisor to Olympians, the Greek Student Organization
    • National Science Foundation [Web-site coordinatoor]
      Desc: Maintain the web-site for the Center for the Advancement of Formal Methods Education as part of the NSF grant proposal
    • Pace University [Joint Faculty Council representing CSIS]
      Desc: Participated in Joint Faculty Council representing CSIS

    College Service

    • Pace University, Computer Science & Information Systems [Committee Member]
    • Pace University, Computer Science & Information Systems [Other]
      Desc: Assist Dean Anderson in selecting students to receive scholarships and research opportunities
    • Pace University, Computer Science & Information Systems [Other]
      Desc: Member of the Technology Committee
    • Pace University, Computer Science & Information Systems [Other]
      Desc: Member of the Student Affairs Committee