He Xiao

From FSL
Revision as of 22:51, 1 September 2014 by Hexiao2 (Talk | contribs)

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

Contents

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':[1].

Previous Projects

MPI Type Checker: [2]

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
Namespaces

Variants
Actions
Navigation