Barbara Staudt Lerner

You may wonder why you should study Computer Science? Computer science research is constantly leading to advances in medicine, technology to aid the disabled, fundamental research in all the sciences, art, music and more.

• Learn more about exciting applications of computer science research
• Learn more about computing careers

Fall Courses

Spring Courses

• Computer Science 312, Algorithms

Research

• Evolution of Persistent Types
• Software processes
  • 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
• Cooperative software engineering

Papers

Student Projects

• 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

Biography

Contact Information