Software Specification and Verification Laboratory
The Software Specification and Verification Laboratory (SSVL)
is a part of the
Software Engineering Research Group of
Computer Science at
The University of Texas at El Paso,
El Paso, Texas.
Research
Members
- Current members
- Yoonsik Cheon
(Associate Professor)
- Myoung Y. Kim
(PhD, since Fall 2004)
- Guillermo Flores (PhD, since Summer 2007)
- Poonam D. Agarwal
(MS, since Spring 2006)
- Amritam Sarcar (MS, since Spring 2008)
- Carmen Avila (MS, since Fall 2009; BS: Fall 2007 - Spring 2009)
- Cesar Yeep (MS, since Summer 2009; BS: Spring 2008 - Spring 2009)
- Pedro Flores (MS, since Summer 2009)
- Melisa Vela (MS, since Summer 2009)
- Fernando Cervantes (BS, since Spring 2009)
- Luis De Haro (BS, since Spring 2009)
- Begona Beorlieguie (BS, since Summer 2009)
- Past members
- Yong Wang (MS, since Spring 2008 - Summer 2008)
- Antonio Cortes (MS, Fall 2007 - Spring 2008)
- Carlos E.
Rubio-Medrano
(PhD, Spring 2008; MS, Spring 2006 - Fall 2007)
- Angelica Perez (MS, Spring 2004 - Summer 2006)
- Ashaveena Perumandla (MS, Summer 2004 - Fall 2005)
For Members
Last modified: $Id: index.html,v 1.35 2009/09/01 15:06:56 cheon Exp $