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.91 2014/01/14 21:31:50 cheon Exp $