He Xiao

From FSL
Revision as of 20:41, 31 August 2014 by Hexiao2 (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

About me

I'm a first year PhD student advised by professor Grigore Rosu. I got BSc in University of Liverpool and MSc degree in Imperial College London.

Research interests

Runtime verification: I'm currently working as a team member in the project 'JavaMOP'.

Contact Info

2111 Thomas M. Siebel Center for Computer Science University of Illinois, 201 N. Goodwin Avenue Urbana, IL 61801

Email: hexiao2@illinois.edu

Personal tools