Education

PhD, Universite Henri Poincare, Computer Science, Nancy, France, 1999
Computer Science

MS, Universite Henri Poincare, Computer Science, Nancy, France, 1995
Computer Science

BS, Universite Henri Poincare, Computer Science, Nancy, FR, France, 1993
Computer Science

Scheduled Courses

Spring 2014:

• CS 701: Advanced Algorithms
• CS 643: Mobile Innovations for Global
• CS 389: Software Engineering

Research Interests

Programming (Distributed and parallel implementations on distributed memory machines.); Theoretical computer science: Automated deduction and theorem proving; Simplification strategies and detection of redundant information; Efficient implementation of automated deduction and theorem proving; Formal software verification; Software Engineering (Testing and quality assurance; Global software development; Mobile application development)

Awards and Honors

• Pace University, October 1, 2004 - Pace University Presidential Release Time Award

PROFESSIONAL MEMBERSHIPS

• Association for Computing Machinery, Special Interest Group Technical Standards Committee [ACM SIGCSE Member] , January 1 , 2003
  
• Pace University, Computer Science & Information Systems [Integrating Mathematical Reasoning into Computer Science Cirricula] , January 1 , 2003
  A Working Group on Integrating Mathematical Reasoning into Computer Science Cirricula (http://www.cs.geneseo.edu/~baldwin/math-thinking/)
• Association for Computing Machinery, University and College Computing Services [ACM Member] , January 1 , 2002
  
• Institute of Electrical and Electronics Engineers, Computer Society [IEEE Member] , January 1 , 2002
  

Contract, Grants, and Sponsored Research

• IBM, Faculty Innovation Award, A Global Perspective on Mobile Innovations for Smarter Energy [Grant]
  Pace University , $10,000.00
  Funded, 2012
• RIM, in support of the Blackberry Academic Program [Grant]
  Pace University , $4,999.00
  Funded, 2011
• IBM, Smarter Planet Innovation Grant, $10,000 [Grant]
  Pace University , $10,000.00
  Funded, 2011
• Global Software Engineering for Smarter Cities [Grant]
  IBM, Faculty Innovation Award , Pace University , $10,000.00
  Funded, 2011
• Jumpstarting the Global Mobile Computing Lab at Pace University [Grant]
  Thinkfinity, Verizon Foundation , Pace University , $10,000.00
  Funded, 2011
• IBM South Africa, in support of a mobile development competition in Senegal [Grant]
  Pace University , $9,000.00
  Funded, 2010
• Google, in support of a bootcamp and mobile application development competition in Senegal [Grant]
  Pace University , $12,000.00
  Funded, 2010
• Sun Mcrosystems in support of Global Software Development Project, equipment and software, valued at [Grant]
  Pace University , $3,300.00
  Funded, 2009
• Sustainable Vision Grant [Grant]
  National Collegiate Inventors and Innovators Alliance , Pace University , $47,198.00
  Funded,"Sustainable Technology-based Entrepreneurship for the Senegalese Market" 2007
• Eclipse Innovation Award [Grant]
  IBM , Pace University , $20,000.00
  Funded, 2006
• BladeCenter Grant [Grant]
  IBM , Pace University , $60,000.00
  Funded, 2005
• 'Little Engines of Proof' with SRI and Clarkson University [Grant]
  NSF ITR , Other , $0.00
  Funded, 2004
• Artificial Intelligence [Grant]
  NSF , Other , $0.00
  Currently Under Review,Grant pending - pending 2004
• Microsoft Tablet PC [Grant]
  Microsoft , Other , $0.00
  Funded,Grant submission accepted 2004
• Supporting CS 361 (Programming Languages and Implementation) with .NET [Grant]
  Microsoft Curriculum Grant , Other , $0.00
  Funded, 2004
• Pace University Presidential Grant [Grant]
  Pace University , Pace University , $6,500.00
  Funded,"Adoption of the E-Portfolio as an Assessment Tool for the NSF CSEMS Scholarship Program" 2002
• CSIS Pace University, Summer Grant for Combination of Completion and Congruence Closure [Grant]
  Pace University, Computer Science and Information Systems , Pace University , $650.00
  Funded,CSIS Summer Grant for Combination of Completion and Congruence Closure - CSIS Summer Grant for Combination of Completion and Congruence Closure 2002
• CSIS Pace University, Summer grant for use of WeBWorK in CS361 and CS387 and its promotion [Grant]
  Pace University , Pace University , $800.00
  Funded,Summer grant for use of WeBWorK in CS361 and CS387 and its promotion 2002
• Course and Program Grant [Grant]
  National Collegiate Inventors and Innovators Alliance , Pace University , $35,200.00
  Funded,"Incubating the Next Generation of Global Software Development Entrepreneurs" - "Incubating the Next Generation of Global Software Development Entrepreneurs" 2006
• National Science Foundation CCLI AI Grant [Grant]
  National Science Foundation , Other , $87,611.00
  Funded,Curriculum Collaborative Research Adapting and Extending WeBWorK 2005
• Presidential Grant for Internationalization [Grant]
  Pace University , Pace University , $6,000.00
  Funded,Responding to Information Technology Offshore Outsourcing and its Impact on Computer Science Education 2005
• Presidential Grant for Learning Assessment [Grant]
  Pace University , Pace University , $6,000.00
  Funded,Towards Model-Based Assessment and Improvement for Project-Centered Group Learning. 2005

Publications

• Journal Article, Academic Journal [Published]
  Mixing continents, competences and roles: Five years of lessons for software engineering education.
  
• Conference Proceeding [Published]
  On the Difficulties for Students to Adhere to Scrum on Global Software Development Projects: Preliminary Results
  
• Conference Proceeding [Published]
  Stress Level on Global Software Projects using Waterfall and Scrum: A Preliminary Comparison
  
• Other [Published]
  
  IBM's Focus on Developer Communities Supports a Greater Cause , August 5 2011
• Conference Proceeding [Published]
  Know Yourself and Beyond: A Student's Global Software Development Project Experience with Agile Methodology
  Proceedings of the 2010 5th International Conference on Computer Science Education – ICCSE , August 3 2011
• Other [Published]
  
  Colleges Work with Industry Partner , July (3rd Quarter/Summer) 28 2011
• Other [Published]
  
  IBM J: Supporting Communities, Speeding Development , July (3rd Quarter/Summer) 28 2011
• Conference Proceeding [Published]
  An Evolving Collaborative Model of Working in Students' Global Software Development Projects
  Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development – CTGDSD '11 , May 1 2011
• Other [Published]
  Enriching Students' Learning Experiences through a Mobile Lab Initiative
  Proceedings of The Michael L. Gargano 9th Annual Student/Faculty Research Day , May 1 2011
• Conference Proceeding [Published]
  Guiding Global Software Development Projects Using Scrum and Agile with Quality Assurance
  Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training - CSEET , May 1 2011
• Other [Published]
  
  Agile on a Global Scale: Educational Experiment Tries to Determine Whether Agile Practices Can Work for Globally Distributed Teams (Quoted) , February 17 2011
• Conference Proceeding [Published]
  Awareness on Sexually Transmitted Diseases (STDs): Showcasing a Mobile Solution Designed for Young Cambodian People
  Proceedings of the Japan-Cambodia Joint Symposium on Information Systems and Communication Technology – JCAICT 2011 , January (1st Quarter/Winter) 1 2011
• Conference Proceeding [Published]
  Mobile Innovations for Improving Life on Campus: Showcasing Mobile Solutions Designed for Students by Students in Senegal
  Proceedings of the 2nd International Conference on Mobile Communication Technology for Development – M4D2010 , November 1 2010
• Conference Proceeding [Published]
  Preparing Students with Key Competencies and Skills for a Global Labor Market: A Case Study of Virtual Transnational Lesson Delivery through a Global Software Development Project
  Proceedings of the 6th QS-Apple – QS Asia Pacific Professional Leaders in Education Conference and Exhibition , November 1 2010
• Conference Proceeding [Published]
  Transitioning to Distributed Development in Students' Global Software Development Projects: The Role of Agile Methodologies and End-to-End Tooling
  Proceedings of the 2010 Fifth International Conference on Software Engineering Advances, ICSEA 2010 , August 1 2010
• Journal Article, Public or Trade Journal [Published]
  Quality Indicators on Global Software Development Projects: Does 'Getting to Know You Really Matter?
  Journal of Software Maintenance and Evolution: Research and Practice , June 1 2010
• Other [Published]
  Know Yourself and Beyond: A Global Software Development Project Experience with Agile Methodology
  Proceedings of The Michael L. Gargano 8th Annual Student/Faculty Research Day , May 1 2010
• Conference Proceeding [Published]
  Scrum to Support Mobile Application Development Projects in a Just-in-time Learning Context
  Cooperative and Human Aspects of Software Design Engineering (CHASE) , May 1 2010
• Conference Proceeding [Published]
  Scrum to Support Mobile Application Development Projects in a Just-in-Time Learning Context
  Proceedings of the Cooperative and Human Aspects of Software Engineering – CHASE 2010 Workshop at the International Conference on Software Engineering – ICSE 2010 , May 1 2010
• Conference Proceeding [Published]
  From Student to Software Engineer in the Indian IT Industry: A Survey of Training
  Conference on Software Engineering Education and Training (CSEET) , March 9 2010
• Conference Proceeding [Published]
  Software Engineering Education Goes Global
  Conference on Software Engineering Education and Training (CSEET) , March 9 2010
• Conference Proceeding [Published]
  From Student to Software Engineer in the Indian IT Industry: A Survey of Training
  Proceedings of the 23rd IEEE Conference on Software Engineering Education and Training – CSEET '10 , March 1 2010
• Conference Proceeding [Published]
  Quality Indicators on Global Software Development Projects: Does 'Getting to Know You Really Matter
  Proceedings of the 4th IEEE International Conference on Global Software Engineering – ICGSE 2009 , July (3rd Quarter/Summer) 1 2009
• Conference Proceeding [Published]
  Role-based Meets Problem-based for Software Engineering Learning
  International Conference on Higher Education Research and Development – IHERD , July (3rd Quarter/Summer) 1 2009
• Conference Proceeding [Published]
  A Global and Competition-based Model for Fostering Technical and Soft Skills in Software Engineering Education
  Proceedings of the 2009 22nd Conference on Software Engineering Education and Training – CSEET '09 , February 1 2009
• Conference Proceeding [Published]
  Evolving an Infrastructure for Student Global Software Development Projects: Lessons for Industry
  Proceedings of the 2nd Indian Software Engineering Conference – ISEC '09 , February 1 2009
• Technical Report [Published]
  Teaching Software Quality Assurance by Encouraging Student Contributions to an Open Source Web-based System for the Assessment of Programming Assignments
  CSIS Technical Report , February 1 2009
• Journal Article, Academic Journal [Published]
  Impacting Global Software Development Through Socialization Activities in Virtual World Environments
  VNU Journal of Science, Natural Sciences and Technology , December 31 2008
• Conference Proceeding [Published]
  Impacting Global Software Development Through Socialization Activities in Virtual World Environments
  Proceedings of the 2nd Hanoi Forum on Information-Communication Technology , December 1 2008
• Conference Proceeding [Published]
  Integration Starts on Day One in Global Software Development Projects
  Proceedings of the International Conference on Global Software Engineering – ICGSE 2008 , August 1 2008
• Conference Proceeding [Published]
  Students as Partners and Students as Mentors: An Educational Model for Quality Assurance in Global Software Development
  Proceedings of the 2nd International Conference on Software Engineering Approaches for Offshore and Outsourced Development – SEAFOOD 2008 , July (3rd Quarter/Summer) 1 2008
• Conference Proceeding [Published]
  Quality-Driven Competition: Uniting Undergraduates, Graduates and Professionals on Global Software Development Projects
  Proceedings of the 21st Conference on Software Engineering Education and Training – CSEET 2008 , April (2nd Quarter/Spring) 1 2008
• Conference Proceeding [Published]
  Working Across Borders: Overcoming Culturally-Based Technology Challenges in Student Global Software Development
  Proceedings of the 21st Conference on Software Engineering Education and Training – CSEET 2008 , April (2nd Quarter/Spring) 1 2008
• Conference Proceeding [Published]
  Keeping Software Engineering Education Up-to-date with Globally Distributed Software Development and Delivery
  Proceedings of the 12th Annual National Collegiate Inventors and Innovators Alliance (NCIIA) Meeting , March 1 2008
• Book, Chapter in Scholarly Book-New [Published]
  Putting Requirements and Quality at the core of Global Service Delivery: Current Efforts and Future Plans at Pace University
  Service Science, Management and Engineering Education for the 21st Century, eds., B. Hefley and W. Murphy , January (1st Quarter/Winter) 1 2008
• Conference Proceeding [Published]
  A Model PM for Preprocessing and Data Mining Proper Process
  Transactions on Rough Sets , December 31 2007
• Conference Proceeding [Published]
  Putting Requirements and Quality at the Core of Global Service Delivery: Current Efforts and Future Plans at Pace University
  Proceedings of Service Science Management and Engineering Conference: Education for the 21st Century - IBM , October (4th Quarter/Autumn) 5 2007
• Conference Proceeding [Published]
  The Role of Wiki Technology in Student Global Software Development: Are All Students Ready?
  Proceedings of the WikisForSoftwareEngineering – Wikis4SE-WikiSym2007 , October (4th Quarter/Autumn) 1 2007
• Conference Proceeding [Published]
  Building Extended Canonizers by Graph-based Deduction
  Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing – ICTAC 2007 , September 1 2007
• Conference Proceeding [Published]
  Extending and Contributing to an Open Source Web-based System for the Assessment of Programming
  Proceedings of the International Conference on Principles and Practice of Programming in Java – PPPJ 2007 , September 1 2007
• Conference Proceeding [Published]
  Adapting an Open-source Web-based Assessment System for the Automated Assessment of Programming Problems
  Proceedings of the International Association of Science and Technology for Development (IASTED) Conference on Web-based Education , March 1 2007
• Conference Proceeding [Published]
  Introducing Global Supply Chains into Software Engineering Education
  Proceedings of the 1st International Conference on Software Engineering Approaches for Offshore and Outsourced Development – SEAFOOD 2007 , February 1 2007
• Conference Proceeding [Published]
  A Graph-Based Approach to Build Extended Canonizers
  International Conference on Logic for Programming Artificial Intelligence and Reasoning - LPAR , December 31 2006
• Conference Proceeding [Published]
  From Design by Contract to Static Analysis of Java Programs: A Teaching Approach
  International Formal Methods Education Workshop - FMEd , December 31 2006
• Journal Article, Academic Journal [Published]
  Preparing Computer Science Students for Global Software Development
  Frontiers in Education - FIE , December 31 2006
• Journal Article, Academic Journal [Published]
  Work in Progress: Database Design with TabletERD
  Frontiers in Education - FIE , December 31 2006
• Conference Proceeding [Published]
  Utilizing the Tablet PC to Enhance Group Work in a Learning Community
  Proceedings of the Workshop of the Impact of Pen-based Technology on Education – WIPTE , April (2nd Quarter/Spring) 1 2006
• Conference Proceeding [Published]
  Injecting Offshore Outsourcing into the CS/IS Curriculum
  SIGCSE 2006 - Academic/Industrial Panel , March 1 2006
• Conference Proceeding [Published]
  WeBWorK for Programming Fundamentals
  Proceedings SIGCSE Technical Symposium 2006 , March 1 2006
• Conference Proceeding [Published]
  .NET in a Programming Paradigms Course
  SIGCSE 2005 - Poster Sesson , December 31 2005
• Conference Proceeding [Submitted]
  Injecting Offshore Outsourcing into the CS/IS Curriculum
  Proceedings SIGCSE 2006 , December 31 2005
• 
  Teambuilding through quilting
  Educating Nurses for Leadership , 2005
• Technical Report [Published]
  Thinking Through Computing: The Power of Learning Communities
  CSIS Technical Report , December 1 2005
• Conference Proceeding [Published]
  Uniform Model for Data Mining
  Proceedings of the Foundations of Semantic Oriented Data and Web Mining Workshop - FDM 2005 , November 1 2005
• Conference Proceeding [Published]
  Incubating the Next Generation of IT Offshore Outsourcing Entrepreneurs
  Proceedings of the Institute of Electrical and Electronics Engineers (IEEE) - Information Technology and Entrepreneurship , April (2nd Quarter/Spring) 1 2005
• Conference Proceeding [Published]
  Incubating the Next Generation of Offshore Outsourcing Entrepreneurs
  Proceedings of the 2005 Oklahoma Symposium on Information Technology and Entrepreneurship (ITE'05) , April (2nd Quarter/Spring) 1 2005
• Conference Proceeding [Published]
  On Prototyping Deduction with Constraints and Simplification with Rewriting Languages
  Strategies 2004 (Workshop of IJCAR 2004) , December 31 2004
• Conference Proceeding [Published]
  On the Combination of Congruence Closure and Completion
  Artificial Intelligence and Symbolic Computation (AISC) , December 31 2004
• Journal Article, Academic Journal [Published]
  Thinking Through Computing: The Power of Learning Communities
  Special Issue of Computer Science Education on Import/Export Relationships to Computer Science Education Research , December 31 2004
• Book Review [Published]
  
  Databases and Transaction Processing: An Application-Oriented Approach , December 31 2003
• Book Review [Published]
  
  FIE 2003 , December 31 2003
• Newspaper [Published]
  
  CSIS Communique: A Publication of the School of Computer Science and Information Systems , December 31 2003
• Journal Article, Academic Journal [Published]
  Enhancing Academic Achievement: Facilitating E-Portfolio Development
  Journal of International Learning , December 31 2003
• Book Review [Published]
  Rewriting Techniques and Applications
  RTA 2003 , December 31 2003
• Conference Proceeding [Published]
  Supporting Discrete Structures Courses with a Web-based Tool
  SIGCSE 2003 , December 31 2003
• Journal Article, Academic Journal [Published]
  Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education
  Materials Development in support of Mathematical Thinking , December 31 2003
• Working Paper [Published]
  
  Oliver: an OnLine Inference and VERification system , December 31 2002
• Conference Proceeding [Published]
  Teaching Discrete Mathematics with SML
  Proceedings of the Conference on Functional and Declarative Programming in Education - FDFE '02 , October (4th Quarter/Autumn) 30 2002
• Conference Proceeding [Published]
  Direct Combination of Completion and Congruence Closure
  Proceedings of the 16th International Workshop on Unification , July (3rd Quarter/Summer) 30 2002
• Conference Proceeding [Published]
  Basic Completion with Simplication
  Proceedings of Logic in Computer Science Conference , December 31 2001

PRESENTATIONS

• Mobile Tech Social Entrepreneurship [Other]
  Title: Participant
  Wilson Center for Social Entrepreneurship Fellow
• Royal University of Phnom Penh [Lecture]
  Title: "Java Programming in Eclipse"
  Royal University of Phnom Penh, Phnom Penh, Cambodia
• Institute of Technology of Cambodia - 2007 [Lecture]
  Title: "Incubating the Next Generation of Global Software Development Entrepreneurs"
  
• Institute of Technology of Cambodia - 2007 [Lecture]
  Title: "Introduction to Software Engineering"
  
• Faculty Institute 2006 [Other]
  Title: "Global Software Development"
  Pforzheimer Faculty Development Center, Pace University
• Faculty Institute 2006 [Other]
  Title: "Tablet PCs"
  Pforzheimer Faculty Development Center, Pace University
• Faculty Institute 2006 [Other]
  Title: "Towards Model-Based Assessment and Improvement for Project-Centered Group Learning"
  Pforzheimer Faculty Development Center, Pace University
• Faculty Institute 2006 [Other]
  Title: "WeBWorK: The Ultimate Teaching Assistant?"
  Pforzheimer Faculty Development Center, Pace University
• ACM Symposium on Computer Science Education (SIGCSE) [Oral Presentation]
  Title: Teaching Programming Fundamentals with WeBWorK
  Association for Computing Machinery (ACM), Houston, TX
• CSIS Faculty Research Day Presentation [Lecture]
  Title: "Providing Computer Science Students with Offshore Outsourcing Software Development Experience"
  Pace - CSIS Faculty Research Day
• TechEd 2004 Developers Conference [Other]
  Title: by Invitation, Microsoft TechEd 2004 Conference
  MicroSoft Corporation, San Diego, CA
• IBM WebSphere 2004 [Other]
  Title: IBM WebSphere Product Training Seminar
  IBM
• Java Beans Seminar [Other]
  Title: NYSIA 2004
  NYSIA
• Agile Methodologies and CMM [Other]
  Title: City SPIN Agile Methodologies Seminar
  City SPIN (Software Process Improvement Network)
• Integrating Mathematical Thinking Into the Computer Science Curriculum: Examples [Lecture]
  Title: New York University Faculty Resource Days
  New York University Faculty Resource Days, New York, NY
• Artificial Intelligence and Symbolic Computation (AISC) [Other]
  Title: On the Combination of Congruence Closure and Completion, (AISC)
  Artificial Intelligence and Symbolic Computation (AISC), Austria,
• CSIS - Pace University Faculty Seminar [Other]
  Title: "IBM WebSphere and The Rational Tools Suite"
  Pace University, NY
• SRI International [Other]
  Title:
  
• Oracle Developer Days on Business Intelligence [Other]
  Title:
  New York, NY
• Building Bridges in Automated Deduction [Other]
  Title:
  Stanford Research Institute, Menlo Park,
• Learning Conference [Other]
  Title:
  London, UK
• .NET Workshop [Other]
  Title:
  Pace University
• Faculty Institute 2003 [Other]
  Title:
  Pforzheimer Faculty Development Center, Pace University
• Teaching Portfolio Workshop [Other]
  Title:
  Pace University
• Presentation at Nassau Community College [Lecture]
  Title:
  
• Faculty Research Day - May 2003 [Other]
  Title:
  Pace University, Computer Science & Information Systems
• International Committee of the 2003 International Conference on Artifical Intelligence [Other]
  Title:
  Las Vegas, NV
• Pace University Mathematics and Computer Science Seminar [Lecture]
  Title:
  Pace University
• XML [Other]
  Title:
  Pace University, Computer Learning Center
• MS Project [Other]
  Title:
  Pace University, Computer Learning Center
• French National Institute for Research in Computer Science and Control [Other]
  Title:
  French National Institute for Research in Computer Science and Control, Nancy, France
• RRIM and RIRB on the Road [Other]
  Title:
  
• Reflective Teaching Practices Conferences [Other]
  Title:
  
• Security Workshop [Other]
  Title:
  
• Unification [Other]
  Title:
  
• Institute of Technology of Cambodia [Lecture]
  Title:
  Phnom Penh, Cambodia
• Faculty Research Day - May 2002 [Other]
  Title:
  Pace University, Computer Science & Information Systems
• Frontier In Education [Other]
  Title:
  
• Learning In and Out of the Classroom [Other]
  Title:
  Pace University
• DPS Students' Talk [Lecture]
  Title:
  
• Math-CS Seminars [Other]
  Title:
  
• Functional and Declarative Programming in Education [Other]
  Title:
  
• MASPLAS [Other]
  Title:
  
• Deduction with constraints and simplifications in equatorial theories [Other]
  Title: The University of Western Ontario, Presentation
  The University of Western Ontario, Ontario, Canada
• Deduction with constraints and simplifications in equatorial theories [Other]
  Title: Bucknell University, Presentation
  Bucknell University, PA
• Deduction with constraints and simplifications in equatorial theories [Other]
  Title: Widener University, Presentation
  Widener University, PA
• Basic Completion Modulo with Simplification [Other]
  Title: Dagstuhl Seminar 990101, Deductions
  Dagstuhl Seminar 990101, Deductions, Dagstuhl, Germany
• International Conference on Category Theory and Computer Science [Other]
  Title: CTCS 99 Conference
  CTCS 99
• International Conference on Rewriting Techniques and its Applications [Other]
  Title: RTA 99 Conference
  RTA 99
• International conference on Automated Deduction [Other]
  Title: CADE 97, CADE 98 Conferences
  CADE 97, CADE 98
• Basic Completion with E-Cycle Simplification [Other]
  Title: Proceedings of the CCL '97 Workshop
  Proceedings of the CCL '97 Workshop, Dagstuhl, Germany
• Basic Completion with E-Cycle Simplification [Other]
  Title: Proceedings of the UNIF '97 Workshop
  Proceedings of the UNIF '97 Workshop, Orleans, France
• Rewriting for computing, solving and proving [Other]
  Title: Clarkson University, Presentation
  Clarkson University, NY
• European Conference on Parallel Processing [Other]
  Title: EUROPAR 97 Conference
  EUROPAR 97
• International Workshop on First Order Theorem Proving [Other]
  Title: FTP 97 Conference
  FTP 97
• A fine-grained concurrent completion procedure [Other]
  Title: The three days of the Charles Hermite Center (French Center of High Performance, Calculation and Parallelism
  The three days of the Charles Hermite Center, Nancy, France
• A fine-grained concurrent completion procedure [Other]
  Title: Workshop, Procedding of the CCL '95 Workshop
  Procedding of the CCL '95 Workshop, Rottach-Egern, Germany

Department Service

• Pace University, Computer Science & Information Systems [Committee Member]
  
• Pace University [Komen New York Race for the Cure]
  Desc: Part of the Pace University team to do a 5K
  
• Pace University, Computer Science & Information Systems [Coordinator, IBM Faculty Lecture Series]
  
• Pace University, Computer Science & Information Systems [Coordinator, CSIS Lecture Series Fall 2004]
  
• [IFI (Institut Fracophone d'Informatique) Instructor, Data Mining - Graduate Level]
  
• [Bachelor Thesis Defense]
  Desc: Bachelor Thesis Defense of 3 students in Phnom Penh, Cambodia
  
• Pace Univeristy [Jagadeesh's Master Thesis Defense]
  
• Pace University, Computer Science & Information Systems [Pace Java Programming Competition]
  Desc: A judge at the Pace Java Programming Competition held on February 28, 2003
  

College Service

• Pace University, Computer Science & Information Systems [Committee Member]
  
• Pace University, Computer Science & Information Systems [Committee Member]
  
• Pace University, Computer Science & Information Systems [Committee Member]
  
• Pace University, Computer Science & Information Systems [Committee Member]
  
• Pace University, Computer Science Curriculum Committee [Other]
  Desc: Member of the Computer Science Cirriculum Committee
  
• Pace University [Other]
  Desc: Member of the Technology Resources Committee
  
• Pace University, Computer Science & Information Systems [Other]
  Desc: Member of the CS Faculty Search Committee
  
• Pace University [Other]
  Desc: Member of a Technology Systems and an Information Systems Faculty Search Committee
  

University Service

• Pace University, Computer Science Curriculum Committee [Committee Member]