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)
- Melisa Vela (PhD, since Fall 2011; MS, since Summer 2009)
- Aditi Barua (PhD, since Fall 2011)
- Bhanukiran Gurijala (PhD, since Fall 2011)
- Carmen Avila
(MS, since Fall 2009; BS: Fall 2007 - Spring 2009)
- Cesar Yeep (MS, since Summer 2009; BS: Spring 2008 - Spring 2009)
- Begona Beorlieguie (BS, since Summer 2009)
- Past members
- Pedro Flores (MS, Summer 2009 - Fall 2010; HP)
- Poonam D. Agarwal
(MS, Spring 2006-Spring 2010)
- Amritam Sarcar (MS, Spring 2008 - Fall 2009; Microsoft)
- Antonio Cortes (MS, Fall 2007 - Spring 2008; Microsoft)
- Carlos E.
Rubio-Medrano
(PhD, Spring 2008; MS, Spring 2006 - Fall 2007; U. of Arizona)
- Angelica Perez (MS, Spring 2004 - Summer 2006; EDS)
- Ashaveena Perumandla (MS, Summer 2004 - Fall 2005; Ximis)
For Members
Last modified: $Id: index.html,v 1.43 2011/10/14 20:39:53 cheon Exp $