Sonjong Hwang

School of computing
University of Utah

Contact

• Email: shwang@ cs. utah. edu

• Office: MEB 3157 ( 585-3866 )

Reserch Interest

• Model Checking

Classes

CS6964

CV

This homepage is under construction...