Barbara Staudt Lerner

I am a visiting associate professor in the Computer Science Department at Mt. Holyoke College,

Office: Clapp 221

Fall Courses

Computer Science 101, Problem Solving and Structured Programming
Computer Science 341, Software Design

Spring Courses

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

Biography

Contact Information

Barbara Staudt Lerner
Computer Science Department
Mt. Holyoke College
50 College St.
South Hadley, MA 01075

blerner@mtholyoke.edu

(413) 538-3250

blerner@mtholyoke.edu