Yoonsik Cheon Assistant Professor Department of Computer Science The University of Texas at El Paso El Paso, Texas, 79968-0518 email: cheon@cs.ut...edu (utep.edu) Phone: 915 - 747-8028 Fax: 915 - 747-5030 Professor Cheon's Home Page
	Professor Cheon earned his BS from Korea University, and his masters and doctoral degress from Iowa State University. He has worked in the Computer and Software Technology Laboratory at the Electronics and Telecommunications Research Institute (ETRI), Taejon, Korea.
	His research interests are in object-oriented formal methods, including specification languages, specification and verification techniques, and tool support, and in object-oriented programming, including programming language aspects, formal semantics, and programming methodology. He is heavily involved in the Java Modeling Language Project.