PhD, DePaul University, 1999
MS, Fairleigh Dickinson University, 1993
BS, University of Patras, Patras, Greece, 1988
- SE 741: Formal Software Development
- SE 673: Software Design Methodologies
- SE 796: Software Research Seminar
View All Courses Taught
CIS 101: Downtown New York
CIS 101: Forensic Computing
CIS 101: Introduction to Computing
CIT 314: Introduction to Programming II
CS 113: Mathematical Structures for CS
CS 121: Computer Programming I
CS 122: Computer Programming II
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: Fund Comp Sci I using Java
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
DCS 801: Software Design & Implntn I
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 700: Independent Study in SE
SE 701: Software Development Thesis I
SE 741: Formal Software Development
SE 751: Software Validation
SE 765: Distributed Software Develop
SE 770: Software Risk Management
SE 785: Software Engineering Studio
SE 790: Topics in Software Development
SE 796: Software Research Seminar
Formal Methods; Software Development; Object-Oriented Technology and Languages; Software Engineering;
Awards and Honors
- 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
Association for Computing Machinery
[Member, Organizing Committee for CSEE&T]
Formal Methods Europe
Institute of Electrical and Electronics Engineers (IEEE)
International Association of Engineers
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
. 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
(2002, September 1).
National Science Foundation Grant.
National Science Foundation
. Funded,Awarded for work on "Integrating Formal Methods Tools into the Undergraduate Cirriculum". Award # DUE-0126991
Cruzan, S., Ho, R. K., Kolbovskaya, I., Paul, L., Petersen, R. & Skevoulis, S.
(2012, May 1).
Evaluation of Pace University's Master's Degree Program for BNY Mellon Employees.
Skevoulis, S. Breaking New Ground in Information Assurance.
Pace Annual Report Roundtable on Software Security, New York, NY
Skevoulis, S., Coutras, C. & , .
(2016, May 17).
12th Annual International Conference on Information Technology & Computer Science.
Identity Management and Access Control Techniques and Mechanisms.
Athens Institute for Education & Research, Athens
(2016, February 4).
3rd International Conference on Signal Processing and Integrated Networks.
Engineering Successful Partnerships Between Academia and Industry: Offering Customized Educational Programs to Industrial Partners.
Provost's NY Academic Plan committee [Committee Member]
Desc: Participate in the design of the NYC campus academic plan for the next ten years
Board of Trustee subcommittee on Administrative Affairs
Provost's NYC Campus Planning Committee
Desc: Creating a plan for the NYC campus for the next 10 years
International Conference on Software Engineering Research, Management and Applications
Desc: PC Members for the 14th International Conference on Software Engineering Research, Management and Applications for 2015 and 2016
European Accreditation Board (Greek Chapter)
Desc: I participated in two accreditation visits of Greek Universities in October and December of 2013