Yoonsik Cheon's photo
Yoonsik Cheon

Associate Professor
Department of Computer Science
The University of Texas at El Paso
El Paso, Texas

>>contact info and schedule<<

Experience

Education

Research

Formal methods (languages, techniques, and tool support) and programming (languages, semantics, and methodology)

I lead the Software Specification and Verification Lab of the Software Engineering Research Group.

Teaching

Miscellany

Last modified by Yoonsik Cheon: $Id: index.html,v 1.92 2014/08/19 01:20:01 cheon Exp $