Yoonsik Cheon's photo
YOONSIK CHEON

Associate Professor, PhD
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.100 2017/08/09 22:05:58 cheon Exp $