A Ph.D student of GT Yimin Zhang
A former teacher of JLU 1079 Mecaslin St.
A passionate programmer Atlanta,GA,30318
A devotee of formal verification ymzhang@cc.gatech.edu
A Chinese from northeast of China 404-754-0614
===================================================================================
Publication
Personal Stuff