Welcome to LASER
The Laboratory for Advanced Software Engineering Research (LASER) is a research lab in the School of Computer Science at the University of Massachusetts Amherst. LASER is dedicated to investigating techniques for reducing software development and maintenance costs while simultaneously improving the quality of the systems produced. LASER is aggressively attacking the problem of assuring the quality of software. Modern systems are increasingly dependent upon software which is becoming increasingly complex. The growing size of such systems, and their increasing reliance upon such features as concurrency and distribution creates new concerns and challenges.
LASER research centers on the use of finite state verification of concurrent and distributed systems to assure that these systems must adhere to key properties for all possible executions. We are developing systems that are computationally tractable, easy to use, and applicable to wide classes of properties.
LASER's particular interests are in developing techniques, tools, and processes to support the most challenging kinds of systems: those with high reliability requirements, running on highly distributed platforms, using heterogeneous tools, and perhaps developed in geographically dispersed environments.
| Laboratory Directors |
Yuriy Brun
|
|
![[ Mail ]](/personnel/icons/mail.gif)
|
![[ Home ]](/personnel/icons/home.gif)
|
Arjun Guha
|
|
|
|
| Director Emeriti |
Lori Clarke
|
|
|
|
Lee Osterweil
|
|
|
|
| Associated Faculty |
George Avrunin
|
|
|
|
Barbara Staudt Lerner
Mt. Holyoke College
|
|
|
|
| Current Graduate Students |
Manish Motwani
|
|
|
|
Anthony Ohmann
|
|
|
|
Seung Yeob Shin
|
|
|
|
Ted Smith
|
|
|
|
| Current Undergraduate Students |
Tim Contois
|
|
|
|
Samantha Kolovson
|
|
|
|
Josh Pikovsky
|
|
|
|
Brandon Santiago
|
|
|
|
Natcha Simsiri
|
|
|
|
Ryan Stanley
|
|
|
|
| Ph.D. Graduates |
Aaron Cass
Union College
|
|
|
|
Albert (Tim) Chamillard
University of Colorado, Colorado Springs
|
|
|
|
Bin Chen
Kanerai
|
|
|
|
Stefan Christov
Quinnipiac University
|
|
|
|
Jamieson Cobleigh
The MathWorks
|
|
|
|
Rachel Cobleigh
|
|
|
|
Heather Conboy
University of Massachusetts Amherst
|
|
|
|
James (Jay) Corbett
Google
|
|
|
|
Laura Dillon
Michigan State University
|
|
|
|
Matt Dwyer
University of Virginia
|
|
|
|
Junghee Jo
Electronics and Telecommunications Research Institute
|
|
|
|
Eric McCall
Vertica
|
|
|
|
Gleb Naumovich
Goldman Sachs
|
|
|
|
Huong Phan
Google
|
|
|
|
Andy Podgurski
Case Western Reserve University
|
|
|
|
M. S. Raunak
Loyola College
|
|
|
|
Debra Richardson
University of California, Irvine
|
|
|
|
Borislava Simidchieva
BBN Technologies
|
|
|
|
Peri Tarr
IBM Research
|
|
|
|
Margaret Thompson
Cleveland Clinic
|
|
|
|
Alex Wolf
University of California Santa Cruz
|
|
|
|
| Recent M.S. Graduates |
Matt Billmers
Akamai
|
|
|
|
Ricky Chang
|
|
|
|
Nancy Famigletti
|
|
|
|
Kim Frederick
IBM
|
|
|
|
Bradley Hawkes
Google
|
|
|
|
Nathan Jokel
EMC
|
|
|
|
Matt Marzilli
Google
|
|
|
|
Dave Miller
Vistaprint
|
|
|
|
Xueying (Libby) Shen
EMC
|
|
|
|
Joel Sieh
SRI International
|
|
|
|
Timothy Sliski
Raytheon
|
|
|
|
Jianbin Tan
ITA Software
|
|
|
|
Shangzhu Wang
|
|
|
|
Wenzhe Wu
Epic Systems
|
|
|
|
Yan Zeng
Siemens
|
|
|
|
Xiang Zhao
Google
|
|
|
|
This site is maintained by the