Barbara Staudt Lerner Associate Professor Computer Science Mount Holyoke College

Join us on Facebook!

Fall Courses

• Computer Science 322, Operating Systems

Spring Courses

• Computer Science 201, Advanced Object-Oriented Programming
• Computer Science 241/341, Programming Language Design and Implementation

Research

• Data Provenance
• Software processes
  • Getting Started with Little-JIL
  • Using first-order logic rules to describe and check static semantics of Little-JIL processes
  • Introspecting a Little-JIL process
    • API
    • Jar file - This jar file also requires several jar files available from UMass: littlejil.jar, littlejil_types.jar, juliette_ams.jar, and resourcequery.jar.
  • Translating Little-JIL to FSP for verification with LTSA
    • API
• Evolution of Persistent Types
• Cooperative software engineering

Papers

Student Projects

• MHC Dining Services Android Applicaiton, Pragya Bajoria, Independent Study.
• Capturing, Persisting and Querying the Provenance of Scientific Data, Sofiya Taskova, '12 Honors Thesis.
• Making Bridge Accessible to the Visually Impaired, Allison DeJordy, '12 Honors Thesis
• A tool to evaluate a user's ability to use a user interface based on visual and audible scanning, intended for users who are unable to use a mouse and keyboard, Allison DeJordy and Melissa Frechette, Spring 2011.
• Adding the Draft Forms Module to OpenMRS, as part of the Humanitarian Free and Open Source Software project, Melissa Frechette, Hannah Deutsch, Maria Fiske, Gabby Schneider, Yaa Asantewaa Appiah Korang, Summer 2010, Spring 2011.
• Using the Nintendo Wii to Assess Motility in the Elderly, Becca Groveman '09 Honors Thesis
• Citizen Journalism - A Drupal template designed to look like the front page of a newspaper, developed in Computer Science 316, Spring 2009

Of Personal Interest

• Sermons of Rabbi Gluck from the late 1800s and early 1900s in Troy, New York and Newark, New Jersey.

Biography

Contact Information