Sotirios Skevoulis
Professor

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

Fall 2014:
  • SE 700: Independent Study
  • SE 700: Independent Study
  • SE 675: Requirements Engineering
  • SE 770: Software Risk Management
  • SE 751: Software Validation

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 751: Software Validation
  • SE 770: Software Risk Management
  • 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]
    • International Association of Engineers [Senior Member] , September 1 , 2010
      is a non-profit international association for the engineers and the computer scientists. IAENG was founded by a group of engineers and computer scientists in 1968, originally as a private club network for its founding members

    Contract, Grants, and Sponsored Research

    • Skevoulis, S. Csis school. 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
    • Skevoulis, S. (2001, December 1). National science foundation grant. National Science Foundation , Other , $73,423.00 . Funded,Awarded for work on "Integrating Formal Methods Tools into the Undergraduate Cirriculum". Award # DUE-0126991

    Publications

    • Cruzan, S. & Skevoulis, S. (2012, May 1). Evaluation of pace university's master's degree program for bny mellon employees.
    • Skevoulis, S. (2011, May 1). Engineering a successful partnership between academia and the financial industry: a software engineering program for it professionals.

    PRESENTATIONS

    • Skevoulis, S. Breaking New Ground in Information Assurance. Participant. Pace Annual Report Roundtable on Software Security, New York, NY
    • Skevoulis, S. (2010, October 19). UPE Honor Society. Inductee.
    • Skevoulis, S. (2005, February 16). "Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum". Nsf, cise/ehr/eng engineering and computing education grantees meeting. NSF, CISE/EHR/ENG Engineering and Computing Education Grantees Meeting, Washington, DC
    • Skevoulis, S. (2003, May 1). National Science Foundation. National Science Foundation
    • Skevoulis, S. (2003, March 1). CSEE&T. CSEE&T, Madrid, Spain
    • Skevoulis, S. (2002, December 1). National Society of Black Engineers (Pace Chapter). Pace University
    • Skevoulis, S. (2002, December 1). Polytechnic University Colloquium. Polytechnic University
    • Skevoulis, S. (2002, October 1). Mathematics/Computer Science Seminar. Pace University
    • Skevoulis, S. (2002, May 1). ITiCSE 2002. ITiSCE
    • Skevoulis, S. (2002, March 1). CSEE&T. CSEE&T
    • Skevoulis, S. (2002, February 1). ECOOP 2002. ECOOP
    • Skevoulis, S. (2001, July 1). Systemics, Cybernetics and Informatics. SCI, Orlando, FL
    • Skevoulis, S. (2001, May 11). Diversity Across the Cirriculum.
    • Skevoulis, S. (2000, November 1). 37th International Technology of Object-Oriented Languages and Systems Pacific Conference. Generic invariant-based static analysis tool for detection of routine errors in java programs. Sydney, Australia
    • Skevoulis, S. (2000, July 1). 14th European Conference on Object-Oriented Programming - ECOOP 2000. A formal methods based static analysis approach for detecting runtime errors in java programs. Cannes, France
    • Skevoulis, S. (2000, July 1). The Fourth World Multiconference on Systemics, Cybernetics and Informatics. Applying an invariant based approach to detecting illegal array indices in java programs. Orlando, Florida
    • Skevoulis, S. (2000, June 1). 14th European Conference on Object-Oriented Programming - ECOOP. A formal methods based static analysis approach for detecting runtime errors in java programs. Sophia-Antipolis, France
    • Skevoulis, S. (2000, June 1). 4th World Multiconference on Systemics, Cybernetics and Informatics - SCI 2000. Applying an invariant based approach to detecting illegal array indices in java programs. Orlando, FL
    • Skevoulis, S. (1999, October 26). 23rd Annual International Computer Software and Application Conference. Phoeniz, AZ
    • Skevoulis, S. (1999, October 1). 23rd Annual IEEE International Computer Software and Application Conference. Detecting null pointer violations in java programs. Phoenix, AZ
    • Skevoulis, S. (1999, July 31). 5th International Conference on Information Systems Analysis and Synthesis. Applying static analysis for detecting null pointers in java programs. Orlando, FL
    • Skevoulis, S. (1998, August 17). Code Synthesis Based on Object Oriented Design Models and Formal Specifications. 22nd annual international computer software and application conference. Vienna, Austria
    • Skevoulis, S. (1998, May 1). A Light-Weight Approach to Formal Methods. Depaul university spring '98 software engineering symposium. DePaul University, Chicago, IL
    • Skevoulis, S. (1997, September 1). Fall '97 Ph.D. Colloquium. Depaul university fall '97 ph.d. colloquium. DePaul University, Chicago, IL
    • Skevoulis, S. (1996, April 1). Software Engineering Symposium. Twice a year (fall and spring) for years 1996-1999. DePaul University, Chicago, IL

    Department Service

    • 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 Student Affairs Committee
    • Pace University, Computer Science & Information Systems [Other]
      Desc: Member of the Technology Committee
    • Provost's NY Academic Plan committee [Committee Member]
      Desc: Participate in the design of the NYC campus academic plan for the next ten years

    University Service

    • Board of Trustee subcommittee on Administrative Affairs [Member]

    PROFESSIONAL Service

    • European Accreditation Board (Greek Chapter) [Program Evaluator]
      Desc: I participated in two accreditation visits of Greek Universities in October and December of 2013