CS 5381 Topics in Software Engineering/CS 4390 Special Topics - Introduction to Formal Methods, Fall 2016

Course Staff

The instructor for the course is Yoonsik Cheon.


Name Yoonsik Cheon
E-mail ycheon_AT_utep.edu (replace "_AT_" with "@")
Office CCSB 3.0606
Office Hours MW 3:00-4:00 pm, by appointment, and when the door is open (refer to .plan file for schedule).
Phone 915-747-8028

Last modified by Yoonsik Cheon: $Id: staff-content.html,v 1.2 2016/08/18 17:09:17 cheon Exp $