 |
|
I
obtained my Ph.D and B.Eng degree in Computer Science from
South China
University of Technology in July 2006 and July 2000.
I am now working as
a Postdoctoral Fellow in
Center for Logic and Information,
St Francis Xavier University,
Canada.
My current research interests focus on parallel and
distributed formal verification methods. I am a member of ACM and IEEE.
(for more details, see my research page or find me on
DBLP )
|
|
 |
Room 111, Centre for Logic and Information
54B St Marys Street,
Antigonish, NS, Canada B2G 2A5
Contacts:
Phone: +1 902-867-5268
Fax: +1 902-867-1397
|
|
E-mail: |
 |
|
