Christelle Scharff

Christelle Scharff

Professor
Seidenberg School of CSIS
Computer Science NY

Christelle Scharff

NYC
1122
15 Beekman
| Office Hours: Mon, Wed 11:00am-1:00pm

Biography

Personal Quote

Dr. Scharff is a Professor of Computer Science at Pace University. She has a Ph.D. in Symbolic Artificial Intelligence from INRIA (French Institute for Research in Computer Science and Automation) in France. Her research focuses on AI, global software engineering and ICTD. She was awarded grants from NSF, IBM, Microsoft, VentureWell, and Google. She has been a Fulbright scholar in Senegal in 2012 and 2019.

Awards and Honors

  • Pace University, 2022, Wilson Center for Social Entrepreneurship Fellow
  • Fulbright, US State Department, 2019, Fulbright Scholar
  • Pace University, 2016, Wilson Center for Social Entrepreneurship Fellow
  • American Institute for Public Service, 2015, Jefferson Award for Public Service, Pace University Bronze Medal Award
  • Fulbright, US State Department, 2012, Fulbright Scholar
  • Pace University, 2012, Pace University Presidential Release Time Award

Licensures and Certificates

  • Scrum Alliance, Advanced Scrum Master
  • Stanford University & VentureWell, Lean Launchpad Instructor
  • Scrum Alliance, Scrum Master

Education

PhD, Computer Science, Universite Henri Poincare, Nancy, France, and French Institute for Research in Computer Science and Automation, Nancy, France, Nancy, France, 1999
Computer Science

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

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

Research and Creative Works

Research Interest

Programming (Distributed and parallel implementations on distributed memory machines)

Theoretical computer science

Artificial Intelligence: Automated deduction and theorem proving; Simplification Strategies and detection of redundant information; Efficient implementation of automated deduction and theorem proving; Formal software verification; Deep learning; Machine Learning; GAN

Global software development; Socialization in Distributed Teams; Software Testing

User-centered design in mobile application development; Mobile for Development (M4D); ICTD (Information and Communication Technology for Development); Digital literacy

Artistic and Professional Performances and Exhibits

Senegal Chic & Tech
[Art - Exhibition, Curator] Goethe-Institut Senegal, Musée de la Femme Henriette Bathily, Dakar, Senegal

Grants, Sponsored Research and Contracts

Integrating Computational Science with Environmental Sciences Associated with Habitat Restoration and Education in New York Harbor
September 2018 - August 2022. NSF, Federal, $2,499,876.00. Funded. https://www.nsf.gov/awardsearch/showAward?AWD_ID=1839656

Curriculum and Community Enterprise for Restoration of a Keystone Species in New York Harbor
February 2018 - February 2022. NSF, Federal, $2,000,000.00. Funded. https://www.nsf.gov/awardsearch/showAward?AWD_ID=1759006

Introducing ML and DL in Senegal (Google Tensorflow Grant)
October 2019 - January 2022. Google, Private, $15,000.00. Funded.

CartoDB Climate Grant
August 2014 - July 2015. CartoDB, Pace University, $3,800.00. Funded. CartoDB for Data 4 Development

Phones and Tablets
October 2013 - December 2013. BlackBerry, Pace University, $6,500.00. Funded.

A Global Perspective on Mobile Innovations for Smarter Energy
January 2012 - December 2012. IBM Smarter Energy Faculty Innovation Award, Pace University, $10,000.00. Funded. 2011 IBM Smarter Energy Faculty Award

Faculty Innovation Award, A Global Perspective on Mobile Innovations for Smarter Energy
January 2011 - December 2011. IBM Smarter Planet Faculty Innovation Award, Pace University, $10,000.00. Funded.

Jumpstarting the Global Mobile Computing Lab at Pace University
January 2011 - December 2011. Thinkfinity, Verizon Foundation, Pace University, $10,000.00. Funded.

IBM South Africa, in support of a mobile development competition in Senegal
September 2010 - August 2011. Pace University, $9,000.00. Funded.

Google, in support of a bootcamp and mobile application development competition in Senegal
September 2010 - August 2011. Pace University, $12,000.00. Funded.

Jumpstarting a Global Mobile Computing Lab
September 2010 - August 2011. Pace University, Pace University, $10,000.00. Funded. 2010 Pace University Thinking Grant

Phones and Tablets donation
July 2010 - June 2011. BlackBerry, Pace University, $4,999.00. Funded.

Support for Mobile Development Courses, workshops, boot-camps and competition
September 2010 - September 2010. Google, Pace University, $2,793.00. Funded. 5 HTC G1 phones. 2010 Google Africa Grant

Sun Mcrosystems in support of Global Software Development Project, equipment and software, valued at
April 2009 - December 2009. Pace University, $3,300.00. Funded.

Toward an End-to-end Solution
November 2008 - October 2009. IBM Jazz, Pace University, $10,000.00. Funded.

Sustainable Technology-based Entrepreneurship for the Senegalese Market
May 2008 - September 2009. National Collegiates Inventors and Innovator Alliance(NCIIA), Pace University, $47,198.00. Funded.

Building a Global Network to Support Sustainable Information and Communication Technologies Entrepreneurship in Senegal
May 2009 - September 2009. National Collegiates Inventors and Innovators Alliance(NCIIA), Pace University, $32,550.00. Funded.

Incubating the next generation of Global Software Development Entrepreneurs
July 2006 - June 2009. National Collegiates Inventors and Innovators Alliance(NCIIA), Pace University, $35,200.00. Funded.

Collaborative Research
July 2005 - June 2009. NSF CCLI AI, Pace University, $122,698.00. Funded.

Sustainable Vision Grant
September 2007 - August 2008. National Collegiate Inventors and Innovators Alliance, Pace University, $47,198.00. Funded. "Sustainable Technology-based Entrepreneurship for the Senegalese Market"

Little Engines of Proof
August 2003 - September 2007. NSF, Pace University, $94,942.00. Funded.

Eclipse and Little Engines of Proof
August 2006 - July 2007. IBM eclipse, Pace University, $10,000.00. Funded.

Eclipse Innovation Award
July 2006 - June 2007. IBM Eclipse, Pace University, $20,000.00. Funded.

Toward the Dynamic Classroom: Utilize the Tablet PC to Enhance Lectures and Team Work Project
May 2005 - April 2006. Microsoft, Pace University, $50,000.00. Funded.

Presidential Grant for Internationalization
January 2005 - January 2006. Pace University, Pace University, $6,000.00. Funded. Responding to Information Technology Offshore Outsourcing and its Impact on Computer Science Education

Responding to IT Offshore Outsourcing and its Impact on Computer Science Education
January 2005 - December 2005. Seidenberg School of Computer Science Special Project, Pace University, $3,000.00. Funded.

BladeCenter Grant
July 2005 - September 2005. IBM, Pace University, $52,000.00. Funded. SOA server technologies, including a latest BladeCenter server cluster with 20 high-performance server processors (IBM’s only award in the same category in USA for 2005 targeting tier 1 or 2 computer science programs).

'Little Engines of Proof' with SRI and Clarkson University
January 2004 - December 2004. NSF ITR, Other, $0.00. Funded.

Microsoft Tablet PC
January 2004 - December 2004. Microsoft, Other, $0.00. Funded. Grant submission accepted

Supporting CS 361 (Programming Languages and Implementation) with .NET
January 2004 - December 2004. Microsoft Curriculum Grant, Other, $0.00. Funded.

Pace University Presidential Grant
June 2002 - May 2003. Pace University, Pace University, $6,500.00. Funded. "Adoption of the E-Portfolio as an Assessment Tool for the NSF CSEMS Scholarship Program"

CSIS Pace University, Summer grant for use of WeBWorK in CS361 and CS387 and its promotion
May 2002 - April 2003. Pace University, Pace University, $800.00. Funded. Summer grant for use of WeBWorK in CS361 and CS387 and its promotion

Courses Taught

Past Courses

CIS 101: Intro. to Computing - LC
CIS 101: Introduction to Computing
CIS 101: Introduction to Computing - LC
CISC 101: Introduction to Computing
CS 113: Mathematical Structures for CS
CS 241: Data Structures/Algorithms I
CS 361: Prgrmmng Lang/Implementation
CS 361: Programming Lang/Implementatn
CS 374: Intro to Mobile App Dvlpmnt
CS 387: Database Design
CS 389: Software Engineering
CS 397: Directed Readings in CS
CS 397: Mobile Phone Prog & Entrepren
CS 397: Topic:Mobile App & Development
CS 490: Ind Study in Computer Science
CS 491: Software Engineering
CS 600: Indpndnt Study in Grad CS
CS 606: Fndmntl Cmptr Sci II with Java
CS 611: Prin of Programming Lang
CS 612: Cncpts & Strctrs:Intrnt Cmptng
CS 623: Database Management Systems
CS 631: Mobile Phone Prog & Entrep
CS 632: Directed Readings in CS
CS 632: Topic:Mobile App & Development
CS 639: Mobile Application Development
CS 641: Mobile Web Content & Dev
CS 643: Mobile Innovations for Global
CS 668: Analytics Capstone Project
CS 676: Algorithms for Data Science
CS 692: Computer Science Project II
CS 701: Advanced Algorithms
CS 777: Sftwre Rlabilty & Qlty Assrnce
CS 851: Sftwr Validation & Verifcation
CS 901: Software Development Thesis I
CS 902: Software Development Thesis II
IS 600: Grad Independent Study in IS
IT 605: Database Management Systems
SE 677: Software Reliability & Quality

Publications and Presentations

Publications

Teaching Coding to Youth in Africa: A Landscape Survey
(2023, May).

Innovations in education: towards quality access and common good
(2022, May). , pages 2. https://sdgs.un.org/sites/default/files/2022-05/Scharff_Christelle-PaceUniversity-STIForum2022_ThematicSession2.pdf

Preparing High School Teachers for Teaching STEM Online: Exploration in Senegal
(2022, April (2nd Quarter/Spring)). , pages 11. https://link.springer.com/book/9783031195594

Senegalese Fashion Apparel Classification System using Deep Learning
(2022, April (2nd Quarter/Spring)). , pages 11. https://link.springer.com/book/9783031195594

Understanding AI ecosystems in the Global South: The cases of Senegal and Cambodia
(2022, March). International Journal of Management. Vol 64 (Issue 102454) , pages 45. https://doi.org/10.1016/j.ijinfomgt.2021.102454

Mobile Device Literacy: Status and Needs of Women in Senegal
(2020, November). John Traxler, Helen Crompton (Eds.), , UK:Routledge. , pages 10. https://www.routledge.com/Critical-Mobile-Pedagogy-Cases-of-Digital-Technologies-and-Learners-at/Traxler-Crompton/p/book/9780367204570

A Toolkit for Mobile Device Literacy Training. ICT4D Conference 2019
(2019, April (2nd Quarter/Spring)).

How can AI empower teachers? UNESCO Mobile Learning Week 2019
(2019, March). https://en.unesco.org/sites/default/files/mlw2019-symposium-sessions-speakers.pdf

Promise of health hotlines to address sexual and reproductive health knowledge gaps in developing countries. ALPHA CONFEX 2018 Conference
(2018, November). https://bit.ly/3z4RMMW

When technology meets fashion. NY Media Lab Demos 2018
(2018, September).

Exploring mobile device literacy in Senegal. IEEE GHTC 2017
(2017, October (4th Quarter/Autumn)). , pages 7 pages. https://ieeexplore.ieee.org/document/8239284

Experience with Teaching an Online Course in Mobile App Development for Senegalese Students and Professionals. EAI Journal 2017
(2017, June). EAI Endorsed Transactions on Collaborative Computing. Vol 17 (Issue 11) , pages 3 pages. https://eudl.eu/doi/10.4108/eai.30-6-2017.153145

Experience with Teaching an Online Course in Mobile App Development for Senegalese Students and Professionals. EAI InterSol Conference 2017
(2017, April (2nd Quarter/Spring)). , pages 3 pages. https://eudl.eu/doi/10.4108/eai.30-6-2017.153145

AppDock: An Education and Outreach Space for Device Literacy. ACM DEV 2016.
(2016, November). , pages 5 pages. https://dl.acm.org/citation.cfm?id=2998608

Global Software Development Projects as a Framework for Capacity Building in Developing Countries. ACM DEV 2016.
(2016, November). , pages 4 pages. https://dl.acm.org/citation.cfm?doid=3001913.3006649

Towards an Agent-driven Software Architecture Aligned with User Stories. ICAART
(2016, February). , pages 337-345. https://www.icaart.org/

Human Mobility during Religious Festivals and its Implications on Public Health in Senegal: A Mobile Dataset Analysis. IEEE GHTC 2015.
(2015, October (4th Quarter/Autumn)). https://ieeeghtc.org/

Mobile Participation: Access, Interaction and Practices
(2015, October (4th Quarter/Autumn)). Mobile Participation: Access, Interaction and Practices.Wamala, C. and Scharff, C. and Hellstroem, J. (Eds.), Cambridge Scholars Publishing. , pages 180. https://www.cambridgescholars.com/mobile-participation

Mobile Participation: An Introduction. 2015
(2015, October (4th Quarter/Autumn)). Wamala, C. and Scharff, C. and Hellstroem, J. (Eds.), Cambridge Scholars Publishing. https://www.cambridgescholars.com/mobile-participation

Evaluation of the Impact of a Six-year Capacity Building Initiative on Mobile App Development in Senegal
(2015, July (3rd Quarter/Summer)). Vol 107 , pages 463-469. https://www.sciencedirect.com/science/article/pii/S1877705815010577

Evaluation of the Impact of a Six-year Capacity Building Initiative on Mobile App Development in Senegal
(2015, July (3rd Quarter/Summer)). International Journal of Procedia Engineering. Vol 107 , pages 463-469. https://www.sciencedirect.com/science/article/pii/S1877705815010577

Human Mobility during Religious Festivals in Senegal
(2015, April (2nd Quarter/Spring)).

Design, Development and Implementation of Gender Sensitive Mobile Apps and Learning Projects: Two mini workshops
(2015, February). https://www.unesco.org/new/en/unesco/themes/icts/m4ed/mobile-learning-week/workshops/design-development-and-implementation-of-gender-sensitive-mobile-apps-and-learning-projects-two-mini-workshops/

Enhancing Primary Education with Mobile Phone Applications for Teachers and Pupils: Results in Senegal
(2014, February). https://www.unesco.org/new/en/unesco/themes/icts/m4ed/unesco-mobile-learning-week-2014/

MJangale: A mLearning Model for Primary Schools in Senegal
(2014, April (2nd Quarter/Spring)). https://kau.diva-portal.org/smash/record.jsf?pid=diva2:709233

MobileSenegal: Experience in Building a Mobile Community
(2014, April (2nd Quarter/Spring)). , pages 310. https://m4d2014.net

Proceedings of4th International Conference on M4D Mobile Communication for Development: M4D 2014, General Tracks
(2014, March). Proceedings of4th International Conference on M4D Mobile Communication for Development: M4D 2014, General Tracks. , Sweden : Karlstad University Studies. , pages 318. https://kau.diva-portal.org/smash/record.jsf?pid=diva2:709233

MJangale: Enhancing Primary Education with Mobile Apps
(2014, March). https://m4d2014.net

Beyond the Walls: How Mobile Computing is Enabling Personalized Learning
(2014, March). https://asmarterplanet.com/blog/2014/03/mobile-learning.html

Mobile Applications for a Sustainable Future: How Are Mobile Developers Contributing to Solving the Problem?
(2013, October (4th Quarter/Autumn)). https://iima.org

Enhancing Primary Education with Mobile Apps for Teachers and Pupils: Findings and Results from Senegal
(2013, October (4th Quarter/Autumn)). https://www.meducationalliance.org/page/2013-meducation-alliance-international-symposium

Building Capacity in Mobile Technology in Senegal
(2013, October (4th Quarter/Autumn)). https://fulbrightevents.org

Stress Level on Global Software Projects using Waterfall and Scrum: A Preliminary Comparison
(2012, December). https://www.academia.edu/2034266/Stress_Level_on_Global_Software_Projects_using_Waterfall_and_Scrum_A_Preliminary_Comparison

MobileSenegal: 5 years of capacity building with impact
(2012, September). https://www.gem2.org/sites/default/files/

Mixing continents, competences and roles: Five years of lessons for software engineering education
(2012, June). Academic Journal. Vol 6 (Issue 3) , pages 199-213. https://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6226946&searchWithin%3Dp_First_Names%3Achristelle%26searchWithin%3Dp_Last_Names%3Ascharff%26sortType%3Ddesc_p_Publication_Year%26matchBoolean%3Dtrue%26queryText%3D%28p_Authors%3Ascharff%2C+christelle%29

On the Difficulties for Students to Adhere to Scrum on Global Software Development Projects: Preliminary Results
(2012, June). https://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6226946&searchWithin%3Dp_First_Names%3Achristelle%26searchWithin%3Dp_Last_Names%3Ascharff%26sortType%3Ddesc_p_Publication_Year%26matchBoolean%3Dtrue%26queryText%3D%28p_Authors%3Ascharff%2C+christelle%29

(2011, August). https://www.cmswire.com/cms/social-business/ibms-focus-on-developer-communities-supports-a-greater-cause-012250.php

Know Yourself and Beyond: A Student's Global Software Development Project Experience with Agile Methodology
(2011, August).

(2011, July (3rd Quarter/Summer)). https://gigaom.com/collaboration/ibm-jazz-supporting-communities-speeding-development/

(2011, July (3rd Quarter/Summer)). https://www.baselinemag.com/c/a/Education/Colleges-Work-With-Industry-Partner-585910/

An Evolving Collaborative Model of Working in Students' Global Software Development Projects
(2011, May).

Enriching Students' Learning Experiences through a Mobile Lab Initiative
(2011, May).

Guiding Global Software Development Projects Using Scrum and Agile with Quality Assurance
(2011, May).

(2011, February).

Awareness on Sexually Transmitted Diseases (STDs): Showcasing a Mobile Solution Designed for Young Cambodian People
(2011, January (1st Quarter/Winter)).

Mobile Innovations for Improving Life on Campus: Showcasing Mobile Solutions Designed for Students by Students in Senegal
(2010, November).

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
(2010, November).

Transitioning to Distributed Development in Students' Global Software Development Projects: The Role of Agile Methodologies and End-to-End Tooling
(2010, August).

Quality Indicators on Global Software Development Projects: Does 'Getting to Know You Really Matter?
(2010, June).

Know Yourself and Beyond: A Global Software Development Project Experience with Agile Methodology
(2010, May).

Scrum to Support Mobile Application Development Projects in a Just-in-time Learning Context
(2010, May).

From Student to Software Engineer in the Indian IT Industry: A Survey of Training
(2010, March).

Software Engineering Education Goes Global
(2010, March). https://cseet2010.dei.uc.pt/images/5/59/21ChristelleScharff_-_GlobalTutorial.pdf

From Student to Software Engineer in the Indian IT Industry: A Survey of Training
(2010, March).

Mobile applications for informal economies
(2009). , pages 345--352.

Quality Indicators on Global Software Development Projects: Does 'Getting to Know You Really Matter
(2009, July (3rd Quarter/Summer)).

Role-based Meets Problem-based for Software Engineering Learning
(2009, July (3rd Quarter/Summer)).

A Global and Competition-based Model for Fostering Technical and Soft Skills in Software Engineering Education
(2009, February).

Evolving an Infrastructure for Student Global Software Development Projects: Lessons for Industry
(2009, February).

Teaching Software Quality Assurance by Encouraging Student Contributions to an Open Source Web-based System for the Assessment of Programming Assignments
(2009, February). Vol 259

Impacting Global Software Development Through Socialization Activities in Virtual World Environments
(2008, December).

Impacting Global Software Development Through Socialization Activities in Virtual World Environments
(2008, December).

Integration Starts on Day One in Global Software Development Projects
(2008, August).

Students as Partners and Students as Mentors: An Educational Model for Quality Assurance in Global Software Development
(2008, July (3rd Quarter/Summer)).

Quality-Driven Competition: Uniting Undergraduates, Graduates and Professionals on Global Software Development Projects
(2008, April (2nd Quarter/Spring)).

Working Across Borders: Overcoming Culturally-Based Technology Challenges in Student Global Software Development
(2008, April (2nd Quarter/Spring)).

Keeping Software Engineering Education Up-to-date with Globally Distributed Software Development and Delivery
(2008, March).

Putting Requirements and Quality at the core of Global Service Delivery: Current Efforts and Future Plans at Pace University
(2008, January (1st Quarter/Winter)). Springer, Book Series: Service Science: Research and Innovations in the Service Economy.

A Model PM for Preprocessing and Data Mining Proper Process
(2007, December). Vol 6

Putting Requirements and Quality at the Core of Global Service Delivery: Current Efforts and Future Plans at Pace University
(2007, October (4th Quarter/Autumn)).

The Role of Wiki Technology in Student Global Software Development: Are All Students Ready?
(2007, October (4th Quarter/Autumn)).

Building Extended Canonizers by Graph-based Deduction
(2007, September).

Extending and Contributing to an Open Source Web-based System for the Assessment of Programming
(2007, September).

Adapting an Open-source Web-based Assessment System for the Automated Assessment of Programming Problems
(2007, March).

Introducing Global Supply Chains into Software Engineering Education
(2007, February).

A Graph-Based Approach to Build Extended Canonizers
(2006, December).

From Design by Contract to Static Analysis of Java Programs: A Teaching Approach
(2006, December).

Preparing Computer Science Students for Global Software Development
(2006, December). IEEE - FIE.

Work in Progress: Database Design with TabletERD
(2006, December). IEEE - FIE.

Utilizing the Tablet PC to Enhance Group Work in a Learning Community
(2006, April (2nd Quarter/Spring)).

Injecting Offshore Outsourcing into the CS/IS Curriculum
(2006, March).

WeBWorK for Programming Fundamentals
(2006, March).

.NET in a Programming Paradigms Course
(2005, December).

Teambuilding through quilting
(2005).

Thinking Through Computing: The Power of Learning Communities
(2005, December). Vol 221

Uniform Model for Data Mining
(2005, November).

Incubating the Next Generation of IT Offshore Outsourcing Entrepreneurs
(2005, April (2nd Quarter/Spring)).

Incubating the Next Generation of Offshore Outsourcing Entrepreneurs
(2005, April (2nd Quarter/Spring)).

On Prototyping Deduction with Constraints and Simplification with Rewriting Languages
(2004, December).

On the Combination of Congruence Closure and Completion
(2004, December).

Thinking Through Computing: The Power of Learning Communities
(2004, December). Swets and Zeitlinger.

(2003, December).

Enhancing Academic Achievement: Facilitating E-Portfolio Development
(2003, December). Vol 10

(2003, December).

Rewriting Techniques and Applications
(2003, December).

Supporting Discrete Structures Courses with a Web-based Tool
(2003, December).

Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education
(2003, December). ACM Press. Vol Volume 35, Issue 2

(2002, December).

Teaching Discrete Mathematics with SML
(2002, October (4th Quarter/Autumn)).

Direct Combination of Completion and Congruence Closure
(2002, July (3rd Quarter/Summer)).

Basic Completion Modulo with Simplification
(2001, June).

Presentations

Brainstorming the West African App Scene
(2014, June 10). westafrica.comworldseries. Dakar, Senegal.

Mobile Development Across Borders: Success and Challenges for Co-located and Distributed Teams
(2013, November 5). The Annual Global Venture Lab Academic Summit Meeting. Berkeley University, Berkeley, CA, USA.

Mobile Tech Social Entrepreneurship
(2010, February 5). 4th Pace University Annual Student Leadership Conference. Wilson Center for Social Entrepreneurship Fellow

"Java Programming in Eclipse"
(2007, January 10). Royal University of Phnom Penh. Royal University of Phnom Penh,

"Incubating the Next Generation of Global Software Development Entrepreneurs"
(2007, January 6). Institute of Technology of Cambodia - 2007. .

"Introduction to Software Engineering"
(2007, January 6). Institute of Technology of Cambodia - 2007. .

"Global Software Development"
(2006, May 16). Faculty Institute 2006. Pforzheimer Faculty Development Center, Pace University

"Tablet PCs"
(2006, May 16). Faculty Institute 2006. Pforzheimer Faculty Development Center, Pace University

"Towards Model-Based Assessment and Improvement for Project-Centered Group Learning"
(2006, May 16). Faculty Institute 2006. Pforzheimer Faculty Development Center, Pace University

"WeBWorK: The Ultimate Teaching Assistant?"
(2006, May 16). Faculty Institute 2006. Pforzheimer Faculty Development Center, Pace University

Teaching Programming Fundamentals with WeBWorK
(2006, March 1). ACM Symposium on Computer Science Education (SIGCSE). Association for Computing Machinery (ACM),

"Providing Computer Science Students with Offshore Outsourcing Software Development Experience"
(2005, December 1). CSIS Faculty Research Day Presentation. Pace - CSIS Faculty Research Day

By Invitation, Microsoft TechEd 2004 Conference
(2004, December 1). TechEd 2004 Developers Conference. MicroSoft Corporation,

IBM WebSphere Product Training Seminar
(2004, November 1). IBM WebSphere 2004. IBM

NYSIA 2004
(2004, November 1). Java Beans Seminar. NYSIA

City SPIN Agile Methodologies Seminar
(2004, October 1). Agile Methodologies and CMM. City SPIN (Software Process Improvement Network)

New York University Faculty Resource Days
(2004, May 1). Integrating Mathematical Thinking Into the Computer Science Curriculum: Examples. New York University Faculty Resource Days,

On the Combination of Congruence Closure and Completion, (AISC)
(2004, January 1). Artificial Intelligence and Symbolic Computation (AISC). Artificial Intelligence and Symbolic Computation (AISC),

"IBM WebSphere and The Rational Tools Suite"
(2004, January 1). CSIS - Pace University Faculty Seminar. Pace University,

(2003, October 27). SRI International. .

(2003, October 10). Oracle Developer Days on Business Intelligence. New York, NY.

(2003, October 1). Building Bridges in Automated Deduction. Stanford Research Institute,

(2003, July 1). Learning Conference. London, UK.

(2003, June 9). .NET Workshop. Pace University

(2003, May 30). Faculty Institute 2003. Pforzheimer Faculty Development Center, Pace University

(2003, May 30). Teaching Portfolio Workshop. Pace University

(2003, May 19). Presentation at Nassau Community College. .

(2003, May 1). Faculty Research Day - May 2003. Pace University, Computer Science & Information Systems

(2003, April 1). International Committee of the 2003 International Conference on Artificial Intelligence. Las Vegas, NV.

(2003, April 1). Pace University Mathematics and Computer Science Seminar. Pace University

(2003, February 25). XML. Pace University, Computer Learning Center

(2003, February 6). MS Project. Pace University, Computer Learning Center

(2003, January 1). French National Institute for Research in Computer Science and Control. French National Institute for Research in Computer Science and Control,

(2002, December 1). RRIM and RIRB on the Road. .

(2002, September 27). Reflective Teaching Practices Conferences. .

(2002, August 5). Security Workshop. .

(2002, July 1). Unification. .

(2002, June 1). Institute of Technology of Cambodia. Phnom Penh, Cambodia.

(2002, May 30). Faculty Research Day - May 2002. Pace University, Computer Science & Information Systems

(2002, May 1). Frontier In Education. .

(2002, April 30). Learning In and Out of the Classroom. Pace University

(2002, March 1). DPS Students' Talk. .

(2002, March 1). Math-CS Seminars. .

(2002, February 1). Functional and Declarative Programming in Education. .

(2002, February 1). MASPLAS. .

The University of Western Ontario, Presentation
(2001, January 1). Deduction with constraints and simplifications in equatorial theories. The University of Western Ontario,

Bucknell University, Presentation
(2000, May 1). Deduction with constraints and simplifications in equatorial theories. Bucknell University,

Widener University, Presentation
(2000, May 1). Deduction with constraints and simplifications in equatorial theories. Widener University,

Dagstuhl Seminar 990101, Deductions
(1999, September 1). Basic Completion Modulo with Simplification. Dagstuhl Seminar 990101, Deductions,

CTCS 99 Conference
(1999, January 1). International Conference on Category Theory and Computer Science. CTCS 99

RTA 99 Conference
(1999, January 1). International Conference on Rewriting Techniques and its Applications. RTA 99

CADE 97, CADE 98 Conferences
(1998, January 1). International conference on Automated Deduction. CADE 97, CADE 98

Proceedings of the CCL '97 Workshop
(1997, September 1). Basic Completion with E-Cycle Simplification. Proceedings of the CCL '97 Workshop,

Proceedings of the UNIF '97 Workshop
(1997, June 1). Basic Completion with E-Cycle Simplification. Proceedings of the UNIF '97 Workshop,

Clarkson University, Presentation
(1997, February 1). Rewriting for computing, solving and proving. Clarkson University,

EUROPAR 97 Conference
(1997, January 1). European Conference on Parallel Processing. EUROPAR 97

FTP 97 Conference
(1997, January 1). International Workshop on First Order Theorem Proving. FTP 97

The three days of the Charles Hermite Center (French Center of High Performance, Calculation and Parallelism
(1996, November 1). A fine-grained concurrent completion procedure. The three days of the Charles Hermite Center,

Workshop, Procedding of the CCL '95 Workshop
(1995, September 1). A fine-grained concurrent completion procedure. Procedding of the CCL '95 Workshop,

Professional Contributions and Service

Professional Memberships

  • Google’s Women Techmakers Ambassador
  • ACM Special Interest Group that Addresses the Social and Ethical Consequences of Widespread Computer Usage (SIGCAS)
  • Association for Computing Machinery (ACM) [ACM Member]
  • Institute of Electrical and Electronics Engineers (IEEE) [IEEE Member]
  • Association for Computing Machinery, Special Interest Group in Human Computer Interaction