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), programming (languages, semantics, and methodology), and mobile applications

I lead the Software Specification and Verification Lab.

Teaching

Miscellany

Last modified by Yoonsik Cheon: $Id: index.html,v 1.104 2023/03/27 06:14:56 cheon Exp $